Computer Science

Authors and titles for May 2013

[1] arXiv:1305.0001 [pdf, other]

Title: Perfectly normal type-2 fuzzy interpolation B-spline curve

Rozaimi Zakaria, Abd. Fatah Wahab, R.U. Gobithaasan

Comments: arXiv admin note: substantial text overlap with arXiv:1304.7868

Journal-ref: 2013 Applied Mathematical Sciences 7 (21-24), Pg.1043-1055

Subjects: Graphics (cs.GR)

[2] arXiv:1305.0020 [pdf, other]

Title: Image Compression By Embedding Five Modulus Method Into JPEG

Firas A. Jassim

Comments: 9 pages, 6 tables, 6 figures

Journal-ref: Signal & Image Processing : An International Journal (SIPIJ) Vol.4, No.2, April 2013

Subjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)

[3] arXiv:1305.0030 [pdf, other]

Title: A least-squares method for sparse low rank approximation of multivariate functions

Mathilde Chevreuil, Régis Lebrun, Anthony Nouy, Prashant Rai

Journal-ref: SIAM/ASA Journal on Uncertainty Quantification}, 3(1):897--921, 2015

Subjects: Numerical Analysis (math.NA); Machine Learning (stat.ML)

[4] arXiv:1305.0032 [pdf, other]

Title: Construction of PMDS and SD Codes extending RAID 5

Mario Blaum

Comments: 7 pages

Subjects: Information Theory (cs.IT)

[5] arXiv:1305.0034 [pdf, other]

Title: Regret Minimization in Non-Zero-Sum Games with Applications to Building Champion Multiplayer Computer Poker Agents

Richard Gibson

Subjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[6] arXiv:1305.0051 [pdf, other]

Title: Revealing social networks of spammers through spectral clustering

Kevin S. Xu, Mark Kliger, Yilun Chen, Peter J. Woolf, Alfred O. Hero III

Comments: Source code and data available at this http URL Proceedings of the IEEE International Conference on Communications (2009)

Subjects: Social and Information Networks (cs.SI); Machine Learning (cs.LG); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)

[7] arXiv:1305.0061 [pdf, other]

Title: Optimal Ternary Cyclic Codes from Monomials

Cunsheng Ding, Tor Helleseth

Subjects: Information Theory (cs.IT)

[8] arXiv:1305.0069 [pdf, other]

Title: Ordering Metro Lines by Block Crossings

Martin Fink, Sergey Pupyrev

Subjects: Data Structures and Algorithms (cs.DS)

[9] arXiv:1305.0085 [pdf, other]

Title: Pricing Public Goods for Private Sale

Michal Feldman, David Kempe, Brendan Lucier, Renato Paes Leme

Comments: accepted to EC'13

Subjects: Computer Science and Game Theory (cs.GT)

[10] arXiv:1305.0087 [pdf, other]

Title: Quantile Regression for Large-scale Applications

Jiyan Yang, Xiangrui Meng, Michael W. Mahoney

Comments: 35 pages; long version of a paper appearing in the 2013 ICML. Version to appear in the SIAM Journal on Scientific Computing

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA); Machine Learning (stat.ML)

[11] arXiv:1305.0089 [pdf, other]

Title: Approximation Properties of a Gradient Recovery Operator Using a Biorthogonal System

Bishnu P. Lamichhane, Adam McNeily

Subjects: Numerical Analysis (math.NA)

[12] arXiv:1305.0101 [pdf, other]

Title: Bubbles are rational

Pierre Lescanne (LIP)

Comments: Translation of this http URL

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); General Finance (q-fin.GN)

[13] arXiv:1305.0103 [pdf, other]

Title: Clustering Unclustered Data: Unsupervised Binary Labeling of Two Datasets Having Different Class Balances

Marthinus Christoffel du Plessis, Masashi Sugiyama

Subjects: Machine Learning (cs.LG)

[14] arXiv:1305.0110 [pdf, other]

Title: Combinatorial Pair Testing: Distinguishing Workers from Slackers

David Eppstein, Michael T. Goodrich, Daniel S. Hirschberg

Comments: 12 pages. Extended version of a paper to appear at the Algorithms and Data Structures Symposium (WADS 2013)

Subjects: Data Structures and Algorithms (cs.DS)

[15] arXiv:1305.0120 [pdf, other]

Title: Interval exchanges, admissibility and branching Rauzy induction

Francesco Dolce, Dominique Perrin

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[16] arXiv:1305.0124 [pdf, other]

Title: Geometry-Based Vehicle-to-Vehicle Channel Modeling for Large-Scale Simulation

Mate Boban, Joao Barros, Ozan K. Tonguz

Comments: Preprint of an article that will be published in IEEE Transactions on Vehicular Technology

Subjects: Networking and Internet Architecture (cs.NI)

[17] arXiv:1305.0127 [pdf, other]

Title: The finite index basis property

Valérie Berthé, Clelia De Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone

Comments: arXiv admin note: text overlap with arXiv:1011.5369, arXiv:1305.0120

Journal-ref: J. Pure Appl. Algebra, 219 (2015) 2521-2537

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[18] arXiv:1305.0135 [pdf, other]

Title: Translating cities: the use of digital technologies in urban environments

Gloria Lanci

Comments: Working Paper, 9 pages, author name and contact details added

Subjects: Computers and Society (cs.CY)

[19] arXiv:1305.0141 [pdf, other]

Title: Truth versus information in logic programming

Lee Naish, Harald Søndergaard

Comments: 39 pages, 10 figures, 1 table. See also this http URL (previous version had 2 comments in code accidentally deleted and checkmarks/ticks in Table 1 were displayed as "4")

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 803-840

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1305.0152 [pdf, other]

Title: The Software Garden

Federico D. Sacerdoti

Comments: 9 pages, 6 figures

Subjects: Software Engineering (cs.SE)

[21] arXiv:1305.0153 [pdf, other]

Title: Convergence Analysis of Mixed Timescale Cross-Layer Stochastic Optimization

Junting Chen, Vincent K. N. Lau

Subjects: Systems and Control (eess.SY); Information Theory (cs.IT)

[22] arXiv:1305.0160 [pdf, other]

Title: Lightweight LCP Construction for Next-Generation Sequencing Datasets

Markus J. Bauer, Anthony J. Cox, Giovanna Rosone, Marinella Sciortino

Comments: Springer LNCS (Lecture Notes in Computer Science) should be considered as the original place of publication, please cite accordingly. The final version of this manuscript is available at this http URL

Journal-ref: Lecture Notes in Computer Science Volume 7534, 2012, pp 326-337

Subjects: Data Structures and Algorithms (cs.DS); Genomics (q-bio.GN)

[23] arXiv:1305.0172 [pdf, other]

Title: An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem

Ahmad Biniaz, Anil Maheshwari, Michiel Smid

Comments: 7 pages

Subjects: Computational Geometry (cs.CG)

[24] arXiv:1305.0185 [pdf, other]

Title: A 2.0 Gb/s Throughput Decoder for QC-LDPC Convolutional Codes

Chiu-Wing Sham, Xu Chen, Francis C.M. Lau, Yue Zhao, Wai M. Tam

Comments: accepted to IEEE Transactions on Circuits and Systems I

Subjects: Information Theory (cs.IT); Hardware Architecture (cs.AR)

[25] arXiv:1305.0187 [pdf, other]

Title: A Community Based Algorithm for Large Scale Web Service Composition

Chantal Cherifi, Yvan Rivierre, Jean-Francois Santucci

Journal-ref: Cherifi, C., Y. Rivierre, Santucci, J.F.: A Community Based Algorithm for Large Scale Web Service Composition. In Journal of Convergence Information Technology (JCIT), Vol.8 N4 pp. 148-157, (2013)

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[26] arXiv:1305.0189 [pdf, other]

Title: A Comparative Study of Web Services Composition Networks

Chantal Cherifi, Jean-Francois Santucci

Journal-ref: Cherifi, C., Santucci, J.-F.: A Comparative Study of Web Services Composition Networks. In: Complex Networks 2012 Workshop, International Conference on Signal Image Technology & Internet Based Systems (SITIS), Napoli, Italy (2012)

Subjects: Software Engineering (cs.SE)

[27] arXiv:1305.0190 [pdf, other]

Title: Analyzing Web Services Networks: a WS-NEXT Application

Chantal Cherifi, Jean-François Santucci

Journal-ref: Cherifi, C., Santucci, J.F.: Analyzing Web services Networks : A WS-NEXT Application. In Advances in Information Technology from AI to Virtual Reality, Ubiquitous Computing and Communication Journal (UBICC), pp. 60-77, (2011)

Subjects: Software Engineering (cs.SE)

[28] arXiv:1305.0191 [pdf, other]

Title: Benefits of Semantics on Web Service Composition from a Complex Network Perspective

Chantal Cherifi, Vincent Labatut, Jean-François Santucci

Journal-ref: In International Conference on Networked Digital Technologies, pp 80-90, Springer CCIS, Czech Republic (2010)

Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[29] arXiv:1305.0194 [pdf, other]

Title: MATAWS: A Multimodal Approach for Automatic WS Semantic Annotation

Cihan Aksoy, Vincent Labatut, Chantal Cherifi, Jean-François Santucci

Journal-ref: In International Conference on Networked Digital Technologies, Springer CCIS 136),China (2011)

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Information Retrieval (cs.IR)

[30] arXiv:1305.0195 [pdf, other]

Title: Similartity Network For Semantic Web Services Substitution

Chantal Cherifi

Subjects: Software Engineering (cs.SE)

[31] arXiv:1305.0196 [pdf, other]

Title: Topological Properties of Web Services Similarity Networks

Chantal Cherifi, Vincent Labatut, Jean-François Santucci

Journal-ref: In Strategic Advantage of Computing Information Systems in Enterprise Management, ATINER, pp. 105-117, (2010)

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[32] arXiv:1305.0203 [pdf, other]

Title: Matrix Compression using the Nystroöm Method

Arik Nemtsov, Amir Averbuch, Alon Schclar

Comments: 31 pages, 3 figures, submitted to Linear Algebra and its Applications

Subjects: Numerical Analysis (math.NA)

[33] arXiv:1305.0208 [pdf, other]

Title: Perceptron Mistake Bounds

Mehryar Mohri, Afshin Rostamizadeh

Subjects: Machine Learning (cs.LG)

[34] arXiv:1305.0209 [pdf, other]

Title: Stratos: A Network-Aware Orchestration Layer for Virtual Middleboxes in Clouds

Aaron Gember, Anand Krishnamurthy, Saul St. John, Robert Grandl, Xiaoyang Gao, Ashok Anand, Theophilus Benson, Vyas Sekar, Aditya Akella

Subjects: Networking and Internet Architecture (cs.NI)

[35] arXiv:1305.0218 [pdf, other]

Title: Video Segmentation via Diffusion Bases

Dina Dushnik, Alon Schclar, Amir Averbuch

Comments: 29 pages, 11 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)

[36] arXiv:1305.0219 [pdf, other]

Title: Study of Network Migration to New Technologies using Agent-based Modeling Techniques

Tamal Das, Marek Drogon, Admela Jukan, Marco Hoffmann

Comments: Submitted to Springer Journal of Network and Systems Management

Subjects: Networking and Internet Architecture (cs.NI)

[37] arXiv:1305.0245 [pdf, other]

Title: Automated generation of web server fingerprints

Theodore Book, Martha Witick, Dan S. Wallach

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[38] arXiv:1305.0258 [pdf, other]

Title: Inverting Nonlinear Dimensionality Reduction with Scale-Free Radial Basis Function Interpolation

Nathan D. Monnig, Bengt Fornberg, Francois G. Meyer

Comments: Accepted for publication in Applied and Computational Harmonic Analysis

Subjects: Numerical Analysis (math.NA); Data Analysis, Statistics and Probability (physics.data-an); Machine Learning (stat.ML)

[39] arXiv:1305.0261 [pdf, other]

Title: Web Services Dependency Networks Analysis

Chantal Cherifi1, Vincent Labatut, Jean-François Santucci

Comments: arXiv admin note: substantial text overlap with arXiv:1305.0191

Journal-ref: International Conference of New Media and Interactivity (NMI), pp. 115-120 (2010)

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[40] arXiv:1305.0297 [pdf, other]

Title: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits

David I. Spivak

Comments: 28 pages

Subjects: Databases (cs.DB); Category Theory (math.CT); Logic (math.LO)

[41] arXiv:1305.0300 [pdf, other]

Title: Bio-imitaiton of Mexican migration routes to the USA with slime mould on 3D terrains

Andrew Adamatzky, Genaro J. Martinez

Journal-ref: Adamatzky A. and Martinez G. J. Bio-Imitation of Mexican Migration Routes to the USA with Slime Mould on 3D Terrains. J Bionic Engineering 10 (2013) 242--250

Subjects: Emerging Technologies (cs.ET); Adaptation and Self-Organizing Systems (nlin.AO)

[42] arXiv:1305.0311 [pdf, other]

Title: An Adaptive Descriptor Design for Object Recognition in the Wild

Zhenyu Guo, Z.Jane Wang

Comments: 8 pages

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[43] arXiv:1305.0321 [pdf, other]

Title: Hidden Markov Model Identifiability via Tensors

Paul Tune, Hung X. Nguyen, Matthew Roughan

Comments: Accepted to ISIT 2013. 5 pages, no figures

Subjects: Information Theory (cs.IT)

[44] arXiv:1305.0336 [pdf, other]

Title: Finitely generated ideal languages and synchronizing automata

Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina

Comments: Submitted to WORDS 2013

Subjects: Formal Languages and Automata Theory (cs.FL)

[45] arXiv:1305.0356 [pdf, other]

Title: A Markovian Model for Assessing the Consistency of Vehicular Storage Systems

Mauro Femminella, Gianluca Reali, Walter Colitti, Kris Steenhaut

Comments: Accepted for publication in IEEE LANMAN 2013

Subjects: Networking and Internet Architecture (cs.NI)

[46] arXiv:1305.0357 [pdf, other]

Title: Relevance distributions across Bradford Zones: Can Bradfordizing improve search?

Philipp Mayr

Comments: 11 pages, 2 figures, Preprint of a full paper @ 14th International Society of Scientometrics and Informetrics Conference (ISSI 2013)

Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)

[47] arXiv:1305.0359 [pdf, other]

Title: Advanced Caching for Distributing Sensor Data through Programmable Nodes

M. Femminella, G. Reali, D. Valocchi, R. Francescangeli, H. Schulzrinne

Comments: Accepted for publication in IEEE LANMAN 2013

Subjects: Networking and Internet Architecture (cs.NI)

[48] arXiv:1305.0377 [pdf, other]

Title: A Comparison between Two Main Academic Literature Collections: Web of Science and Scopus Databases

Arezoo Aghaei Chadegani, Hadi Salehi, Melor Md Yunus, Hadi Farhadi, Masood Fooladi, Maryam Farhadi, Nader Ale Ebrahim

Comments: 9 pages, 4 figures

Journal-ref: Asian Social Science vol. 9, no. 5, pp. 18-26, April 27, 2013

Subjects: Digital Libraries (cs.DL); Computers and Society (cs.CY)

[49] arXiv:1305.0379 [pdf, other]

Title: Does Criticisms Overcome the Praises of Journal Impact Factor?

Masood Fooladi, Hadi Salehi, Melor Md Yunus, Maryam Farhadi, Arezoo Aghaei Chadegani, Hadi Farhadi, Nader Ale Ebrahim

Comments: 7 pages, No figure

Journal-ref: Asian Social Science vol. 9, no. 5, pp. 176-182, April 27, 2013

Subjects: Digital Libraries (cs.DL)

[50] arXiv:1305.0384 [pdf, other]

Title: Optimal Distributed Scheduling in Wireless Networks under the SINR interference model

Prasanna Chaporkar, Alexandre Proutiere

Subjects: Information Theory (cs.IT)

[51] arXiv:1305.0395 [pdf, other]

Title: Tensor Decompositions: A New Concept in Brain Data Analysis?

Andrzej Cichocki

Journal-ref: Control Measurement, and System Integration (SICE), special issue; Measurement of Brain Functions and Bio-Signals, 7, 507-517, (2011)

Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC); Machine Learning (stat.ML)

[52] arXiv:1305.0412 [pdf, other]

Title: Filter Design with Secrecy Constraints: The MIMO Gaussian Wiretap Channel

Hugo Reboredo, João Xavier, Miguel R. D. Rodrigues

Comments: 38 pages, 11 figures. Accepted for publication in IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[53] arXiv:1305.0423 [pdf, other]

Title: Testing Hypotheses by Regularized Maximum Mean Discrepancy

Somayeh Danafar, Paola M.V. Rancoita, Tobias Glasmachers, Kevin Whittingstall, Juergen Schmidhuber

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[54] arXiv:1305.0433 [pdf, other]

Title: TREEWIDTH and PATHWIDTH parameterized by vertex cover

Mathieu Chapelle (1), Mathieu Liedloff (2), Ioan Todinca (2), Yngve Villanger (3) ((1) University Paris Est, France, (2) University of Orleans, France, (3) University of Bergen, Norway)

Subjects: Data Structures and Algorithms (cs.DS)

[55] arXiv:1305.0434 [pdf, other]

Title: An $S$-adic characterization of minimal subshifts with first difference of complexity $1 \leq p(n+1) - p(n) \leq 2$

Julien Leroy

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[56] arXiv:1305.0435 [pdf, other]

Title: The role of twitter in the life cycle of a scientific publication

Emily S. Darling1, David Shiffman, Isabelle M. Côté, Joshua A. Drew

Comments: 31 pages, 5 figures

Subjects: Digital Libraries (cs.DL); Computers and Society (cs.CY); Physics and Society (physics.soc-ph); Populations and Evolution (q-bio.PE)

[57] arXiv:1305.0438 [pdf, other]

Title: Efficient routing on multilayered communication networks

Jie Zhou, Gang Yan, Choy-Heng Lai

Comments: 6 pages, 4 figures

Journal-ref: Europhysics Letters, 102 (2013) 28002

Subjects: Networking and Internet Architecture (cs.NI); Physics and Society (physics.soc-ph)

[58] arXiv:1305.0445 [pdf, other]

Title: Deep Learning of Representations: Looking Forward

Yoshua Bengio

Subjects: Machine Learning (cs.LG)

[59] arXiv:1305.0453 [pdf, other]

Title: Complexity Theory for Operators in Analysis

Akitoshi Kawamura, Stephen Cook

Comments: 22 pages, 9 figures; a few typos fixed after journal publication

Journal-ref: ACM Transactions on Computation Theory 4(2), Article 5, 2012

Subjects: Computational Complexity (cs.CC); Numerical Analysis (math.NA)

[60] arXiv:1305.0466 [pdf, other]

Title: On stability, convergence and accuracy of bES-FEM and bFS-FEM for nearly incompressible elasticity

Thanh Hai Ong, Claire E. Heaney, Chang-Kye Lee, G.R. Liu, H. Nguyen-Xuan

Comments: 37 pages, 0 figures

Subjects: Numerical Analysis (math.NA)

[61] arXiv:1305.0467 [pdf, other]

Title: On Topological Structure of Web Services Networks for Composition

Chantal Cherifi, Jean-François Santucci

Subjects: Software Engineering (cs.SE)

[62] arXiv:1305.0471 [pdf, other]

Title: Community Structure in Interaction Web Service Networks

Chantal Cherifi, Jean-François Santucci

Subjects: Social and Information Networks (cs.SI); Networking and Internet Architecture (cs.NI); Physics and Society (physics.soc-ph)

[63] arXiv:1305.0483 [pdf, other]

Title: Feasibility Analysis of Low Cost Graphical Processing Units for Electromagnetic Field Simulations by Finite Difference Time Domain Method

A V Choudhari, N A Pande, M R Gupta

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[64] arXiv:1305.0500 [pdf, other]

Title: Central differences, Euler numbers and symbolic methods

J.S.Dowker

Comments: 20 pages. Extensive additions to formal calculus. Umbral methods employed and generating functions quickly derived

Subjects: Numerical Analysis (math.NA); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Combinatorics (math.CO)

[65] arXiv:1305.0502 [pdf, other]

Title: Simple, Fast, and Scalable Reachability Oracle

Ruoming Jin, Guan Wang

Comments: 14 pages

Subjects: Databases (cs.DB)

[66] arXiv:1305.0503 [pdf, other]

Title: Graph-Theoretic Characterization of The Feasibility of The Precoding-Based 3-Unicast Interference Alignment Scheme

Jaemin Han, Chih-Chun Wang, Ness B. Shroff

Comments: 35 pages, 4 figures, and 2 tables. This manuscript was submitted to IEEE Trans IT in May 2013

Subjects: Information Theory (cs.IT)

[67] arXiv:1305.0507 [pdf, other]

Title: Hub-Accelerator: Fast and Exact Shortest Path Computation in Large Social Networks

Ruoming Jin, Ning Ruan, Bo You, Haixun Wang

Comments: 12 pages

Subjects: Social and Information Networks (cs.SI); Databases (cs.DB); Physics and Society (physics.soc-ph)

[68] arXiv:1305.0510 [pdf, other]

Title: Probe and Adapt: Rate Adaptation for HTTP Video Streaming At Scale

Zhi Li, Xiaoqing Zhu, Josh Gahm, Rong Pan, Hao Hu, Ali C. Begen, Dave Oran

Comments: Bridged version submitted to IEEE Journal on Selected Areas in Communications, Special Issue on Adaptive Media Streaming

Subjects: Networking and Internet Architecture (cs.NI)

[69] arXiv:1305.0512 [pdf, other]

Title: Fixed-Parameter and Approximation Algorithms for Maximum Agreement Forests of Multifurcating Trees

Chris Whidden, Robert G. Beiko, Norbert Zeh

Comments: 28 pages, 7 figures

Subjects: Data Structures and Algorithms (cs.DS); Populations and Evolution (q-bio.PE)

[70] arXiv:1305.0513 [pdf, other]

Title: Limiting the Neighborhood: De-Small-World Network for Outbreak Prevention

Ruoming Jin, Yelong Shen, Lin Liu, Xue-wen Chen

Comments: 9 pages

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[71] arXiv:1305.0516 [pdf, other]

Title: Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence

Petr Jancar

Comments: Parts of the proofs have been simplified (w.r.t. the previous version)

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[72] arXiv:1305.0526 [pdf, other]

Title: Matrix Inversion Is As Easy As Exponentiation

Sushant Sachdeva, Nisheeth K. Vishnoi

Comments: This paper appears in the monograph 'Faster Algorithms via Approximation Theory' written by the authors

Subjects: Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)

[73] arXiv:1305.0534 [pdf, other]

Title: On the Ratio of Revenue to Welfare in Single-Parameter Mechanism Design

Robert Kleinberg, Yang Yuan

Comments: 15 pages

Subjects: Computer Science and Game Theory (cs.GT)

[74] arXiv:1305.0538 [pdf, other]

Title: A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"

Marco Bernardo, Rocco De Nicola, Michele Loreti

Subjects: Logic in Computer Science (cs.LO)

[75] arXiv:1305.0540 [pdf, other]

Title: Privacy Preserving Recommendation System Based on Groups

Shang Shang, Yuk Hui, Pan Hui, Paul Cuff, Sanjeev Kulkarni

Subjects: Information Retrieval (cs.IR)

[76] arXiv:1305.0546 [pdf, other]

Title: Adaptive Primal-Dual Hybrid Gradient Methods for Saddle-Point Problems

Tom Goldstein, Min Li, Xiaoming Yuan, Ernie Esser, Richard Baraniuk

Comments: 24 pages, 5 figures

Subjects: Numerical Analysis (math.NA)

[77] arXiv:1305.0547 [pdf, other]

Title: On Achievable Rates for Channels with Mismatched Decoding

Anelia Somekh-Baruch

Comments: A shorter version of this paper was accepted to the International Symposium on Information Theory 2013

Subjects: Information Theory (cs.IT)

[78] arXiv:1305.0556 [pdf, other]

Title: A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure

Stephen Clark, Bob Coecke, Edward Grefenstette, Stephen Pulman, Mehrnoosh Sadrzadeh

Comments: 10 pages, many pictures

Subjects: Computation and Language (cs.CL); Quantum Physics (quant-ph)

[79] arXiv:1305.0574 [pdf, other]

Title: Extending Modern SAT Solvers for Enumerating All Models

Said Jabbour, Lakhdar Sais, Yakoub Salhi

Comments: This paper is withdrawn by the authors due to a missing reference. The authors work further on this issue and conduct exhaustive experimental comparison with other related works

Subjects: Artificial Intelligence (cs.AI)

[80] arXiv:1305.0576 [pdf, other]

Title: Well-Pointed Coalgebras

Jiří Adámek (Institut für Theoretische Informatik, Technische Universität Braunschweig, Germany), Stefan Milius (Institut für Theoretische Informatik, Technische Universitüt Braunschweig, Germany), Lawrence S Moss (Department of Mathematics, Indiana University, Bloomington, IN, USA), Lurdes Sousa (Polytechnic Institute of Viseu and Centre for Mathematics of the University of Coimbra, Portugal)

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (August 9, 2013) lmcs:704

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[81] arXiv:1305.0585 [pdf, other]

Title: Design and Stability of Load-Side Primary Frequency Control in Power Systems

Changhong Zhao, Ufuk Topcu, Na Li, Steven Low

Comments: 14 pages, 13 figures. To appear in IEEE Transactions on Automatic Control

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[82] arXiv:1305.0596 [pdf, other]

Title: An Empirical Investigation of V-I Trajectory based Load Signatures for Non-Intrusive Load Monitoring

Taha Hassan, Fahad Javed, Naveed Arshad

Comments: 11 pages, 11 figures. Under review for IEEE Transactions on Smart Grid

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[83] arXiv:1305.0597 [pdf, other]

Title: Prior-Independent Mechanisms for Scheduling

Shuchi Chawla, Jason D. Hartline, David Malec, Balasubramanian Sivan

Comments: This paper will appear in Proceedings of the ACM Symposium on Theory of Computing 2013 (STOC'13)

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[84] arXiv:1305.0598 [pdf, other]

Title: Cost-Recovering Bayesian Algorithmic Mechanism Design

Hu Fu, Brendan Lucier, Balasubramanian Sivan, Vasilis Syrgkanis

Comments: This paper will appear in Proceedings of the ACM Conference on Electronic Commerce 2013 (EC'13)

Subjects: Computer Science and Game Theory (cs.GT)

[85] arXiv:1305.0606 [pdf, other]

Title: Results from a Practical Deployment of the MyZone Decentralized P2P Social Network

Alireza Mahdian, Richard Han, Qin Lv, Shivakant Mishra

Comments: 24 pages, 13 Figures, 1 Table. arXiv admin note: text overlap with arXiv:1110.5371

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)

[86] arXiv:1305.0619 [pdf, other]

Title: Resource Allocation for Downlink Channel Transmission Based on Superposition Coding

Redouane Sassioui, Aata El Hamss, Leszek Szczecinski, Mustapha Benjillali

Subjects: Information Theory (cs.IT)

[87] arXiv:1305.0625 [pdf, other]

Title: CONATION: English Command Input/Output System for Computers

Kamlesh Sharma, Dr. T. V. Prasad

Comments: 6 pages, 3 tables

Subjects: Human-Computer Interaction (cs.HC); Computation and Language (cs.CL)

[88] arXiv:1305.0626 [pdf, other]

Title: An Improved EM algorithm

Fuqiang Chen

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[89] arXiv:1305.0638 [pdf, other]

Title: Feature Selection Based on Term Frequency and T-Test for Text Categorization

Deqing Wang, Hui Zhang, Rui Liu, Weifeng Lv

Comments: 5pages 9 figures CIKM2012 paper

Subjects: Machine Learning (cs.LG); Information Retrieval (cs.IR); Machine Learning (stat.ML)

[90] arXiv:1305.0646 [pdf, other]

Title: Convolution spline approximations for time domain boundary integral equations

Penny J Davies, Dugald B Duncan

Subjects: Numerical Analysis (math.NA)

[91] arXiv:1305.0648 [pdf, other]

Title: On Guarded Transformation In The Modal Mu-Calculus

Florian Bruse, Oliver Friedmann, Martin Lange

Comments: Expanded version, submitted to: Logic Journal of the IGPL

Subjects: Logic in Computer Science (cs.LO)

[92] arXiv:1305.0649 [pdf, other]

Title: Minimum Common String Partition Parameterized by Partition Size is Fixed-Parameter Tractable

Laurent Bulteau, Christian Komusiewicz

Subjects: Data Structures and Algorithms (cs.DS)

[93] arXiv:1305.0664 [pdf, other]

Title: Practical Implementation of Spatial Modulation

N. Serafimovski, A. Younis, R. Mesleh, P. Chambers, M. Di Renzo, C. X. Wang, P. M. Grant, M. A. Beach, H. Haas

Comments: IEEE Transactions on Vehicular Technology, accepted

Subjects: Information Theory (cs.IT)

[94] arXiv:1305.0665 [pdf, other]

Title: Spectral Classification Using Restricted Boltzmann Machine

Fuqiang Chen, Yan Wu, Yude Bu, Guodong Zhao

Comments: 8 pages, 2 figures, Accepted in PASA for publication

Subjects: Machine Learning (cs.LG)

[95] arXiv:1305.0668 [pdf, other]

Title: GUI Based Automatic Remote Control of Gas Reduction System using PIC Microcontroller

Ayad Ghany Ismaeel, Raghad Zuhair Yousif, Essa F. Abdallh

Comments: 11 pages, 25 figures, Tables 4, and this research obtained certificate from Erbil Power Station, which is the beneficiary company of it. Available at this http URL, 2013

Subjects: Other Computer Science (cs.OH)

[96] arXiv:1305.0669 [pdf, other]

Title: Relative Interval Analysis of Paging Algorithms on Access Graphs

Joan Boyar, Sushmita Gupta, Kim S. Larsen

Comments: IMADA-preprint-cs

Subjects: Data Structures and Algorithms (cs.DS)

[97] arXiv:1305.0673 [pdf, other]

Title: Optimal Productivity of Succoring Patients System using Mobile GIS Based on WCF Technology

Ayad Ghany Ismaeel, Sanaa Enwaya Rizqo

Comments: 10 pages, 5 figures, 2 tables. Available at this http URL, 2013

Subjects: Computers and Society (cs.CY)

[98] arXiv:1305.0674 [pdf, other]

Title: LZ-Compressed String Dictionaries

Julian Arz, Johannes Fischer

Subjects: Data Structures and Algorithms (cs.DS)

[99] arXiv:1305.0688 [pdf, other]

Title: On Flexible Web Services Composition Networks

Chantal Cherifi, Vincent Labatut, Jean-François Santucci

Journal-ref: In: International Conference on Digital Information and Communication Technology and its Applications (DICTAP), Springer CCIS, Dijon, France (2011)

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR)

[100] arXiv:1305.0698 [pdf, other]

Title: Learning from Imprecise and Fuzzy Observations: Data Disambiguation through Generalized Loss Minimization

Eyke Hüllermeier

Journal-ref: International Journal of Approximate Reasoning, 55(7):1519-1534, 2014

Subjects: Machine Learning (cs.LG)