Computer Science

Authors and titles for July 2011

[101] arXiv:1107.0922 [pdf, other]

Title: GraphLab: A Distributed Framework for Machine Learning in the Cloud

Yucheng Low, Joseph Gonzalez, Aapo Kyrola, Danny Bickson, Carlos Guestrin

Comments: CMU Tech Report, GraphLab project webpage: this http URL

Subjects: Machine Learning (cs.LG)

[102] arXiv:1107.0940 [pdf, other]

Title: Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing

Joey Paquet, Serguei A. Mokhov

Comments: 46 pages, 3 figures, 1 table, 1 listing; a running draft and a collection of references on the subject; v4 primarily updates some references

Subjects: Programming Languages (cs.PL)

[103] arXiv:1107.0989 [pdf, other]

Title: Geometry of Complex Networks and Topological Centrality

Gyan Ranjan, Zhi-Li Zhang

Comments: 17 pages, 6 figures, 2 tables

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

[104] arXiv:1107.0998 [pdf, other]

Title: An Information Theoretic Representation of Agent Dynamics as Set Intersections

Samuel Epstein, Margrit Betke

Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)

[105] arXiv:1107.1012 [pdf, other]

Title: Optimal Point Movement for Covering Circular Regions

Danny Z. Chen, Xuehou Tan, Haitao Wang, Gangshan Wu

Comments: 18 pages, 2 figures

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

[106] arXiv:1107.1017 [pdf, other]

Title: Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

Mihhail Aizatulin, Andrew D.Gordon, Jan Jürjens

Subjects: Cryptography and Security (cs.CR)

[107] arXiv:1107.1020 [pdf, other]

Title: A Novel Multicriteria Group Decision Making Approach With Intuitionistic Fuzzy SIR Method

Junyi Chai, James N.K. Liu

Comments: Paper presented at the 2010 World Automation Congress

Subjects: Artificial Intelligence (cs.AI)

[108] arXiv:1107.1031 [pdf, other]

Title: Integral Value Transformations: A Class of Discrete Dynamical Systems

Sk. S. Hassan, A. Roy, P. Pal. Choudhury, B. K. Nayak

Subjects: Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

[109] arXiv:1107.1038 [pdf, other]

Title: Dynamic OFDMA Resource Allocation for QoS Guarantee and System Optimization of Best Effort and Non Real-time Traffic

Arijit Ukil, Jaydip Sen, Debasish Bera

Comments: 5 pages, 4 figures; National Conference on Communications, 2009

Subjects: Networking and Internet Architecture (cs.NI)

[110] arXiv:1107.1052 [pdf, other]

Title: The traveling salesman problem on cubic and subcubic graphs

Sylvia Boyd, René Sitters, Suzanne van der Ster, Leen Stougie

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[111] arXiv:1107.1058 [pdf, other]

Title: Online Vehicle Detection For Estimating Traffic Status

Ranch Y.Q. Lai

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

[112] arXiv:1107.1072 [pdf, other]

Title: Adding Query Privacy to Robust DHTs

Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft

Comments: To appear at ACM ASIACCS 2012

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

[113] arXiv:1107.1076 [pdf, other]

Title: Genome Halving by Block Interchange

Antoine Thomas, Aïda Ouangraoua, Jean-Stéphane Varré

Subjects: Data Structures and Algorithms (cs.DS)

[114] arXiv:1107.1081 [pdf, other]

Title: Spatial Features for Multi-Font/Multi-Size Kannada Numerals and Vowels Recognition

B.V. Dhandra, Mallikarjun Hangarge, Gururaj Mukarambi

Comments: 4 pages, 4 Figures, 4 Tables, "International Conference on Communication, Computation, Control and Nanotechnology (2010)"

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

[115] arXiv:1107.1086 [pdf, other]

Title: Breaking GSM with rainbow Tables

Steven Meyer

Comments: March 2010

Subjects: Cryptography and Security (cs.CR)

[116] arXiv:1107.1089 [pdf, other]

Title: Node Sampling using Random Centrifugal Walks

Andrés Sevilla, Alberto Mozo, Antonio Fernández Anta

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)

[117] arXiv:1107.1099 [pdf, other]

Title: Selling train tickets by SMS

Steven Meyer

Comments: June 2010

Subjects: Cryptography and Security (cs.CR)

[118] arXiv:1107.1101 [pdf, other]

Title: Misbehavior in Mobile Application Markets

Steven Meyer

Comments: December 2010

Subjects: Cryptography and Security (cs.CR)

[119] arXiv:1107.1104 [pdf, other]

Title: SERIMI - Resource Description Similarity, RDF Instance Matching and Interlinking

Samur Araujo, Jan Hidders, Daniel Schwabe, Arjen P. de Vries

Subjects: Databases (cs.DB)

[120] arXiv:1107.1119 [pdf, other]

Title: Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds

Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder

Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Mathematical Software (cs.MS)

[121] arXiv:1107.1127 [pdf, other]

Title: Finite Projective Geometry based Fast, Conflict-free Parallel Matrix Computations

Shreeniwas Sapre, Hrishikesh Sharma, Abhishek Patil, B. S. Adiga, Sachin Patkar

Comments: 32 pages, to be submitted to some distributed and parallel computing journal

Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC)

[122] arXiv:1107.1128 [pdf, other]

Title: AISMOTIF-An Artificial Immune System for DNA Motif Discovery

K.R Seeja

Comments: 7 pages

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011 IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011, ISSN (Online): 1694-0814, pages 143-149

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

[123] arXiv:1107.1138 [pdf, other]

Title: Celerity: A Low-Delay Multi-Party Conferencing Solution

X. Chen, M. Chen, B. Li, Y. Zhao, Y. Wu, J. Li

Comments: 16 pages,23 figures

Subjects: Multimedia (cs.MM)

[124] arXiv:1107.1149 [pdf, other]

Title: The dimension of ergodic random sequences

Mathieu Hoyrup (INRIA Lorraine - LORIA)

Subjects: Information Theory (cs.IT)

[125] arXiv:1107.1158 [pdf, other]

Title: Measurement-Adaptive Cellular Random Access Protocols

Anastasios Giovanidis, Qi Liao, Slawomir Stanczak

Comments: 31 pages, 13 figures, 3 tables. Springer Wireless Networks 2014

Journal-ref: Springer Wireless Networks, Volume 20, Issue 6, pp. 1495-1514 (2014)

Subjects: Networking and Internet Architecture (cs.NI)

[126] arXiv:1107.1161 [pdf, other]

Title: Locally monotone Boolean and pseudo-Boolean functions

Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser

Journal-ref: Discrete Applied Mathematics 160 (12) (2012) 1651-1660

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

[127] arXiv:1107.1166 [pdf, other]

Title: Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach

Carlo Bellettini, Lorenzo Capra

Comments: 8 pages, submitted to conference for publication

Subjects: Software Engineering (cs.SE)

[128] arXiv:1107.1177 [pdf, other]

Title: Not So Easy Problems for Tree Decomposable Graphs

Stefan Szeider

Comments: Author's self-archived copy

Journal-ref: Ramanujan Mathematical Society, Lecture Notes Series no. 13, 2010, pp. 179-190

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[129] arXiv:1107.1198 [pdf, other]

Title: QuantUM: Quantitative Safety Analysis of UML Models

Florian Leitner-Fischer (University Konstanz), Stefan Leue (University Konstanz)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 16-30

Subjects: Software Engineering (cs.SE)

[130] arXiv:1107.1199 [pdf, other]

Title: Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski (Department of Computer Science, The University of Warwick)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 31-46

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

[131] arXiv:1107.1200 [pdf, other]

Title: Time Delays in Membrane Systems and Petri Nets

Bogdan Aman (''A.I. Cuza'' University of Iasi, Romania), Gabriel Ciobanu (Institute of Computer Science, Romanian Academy, Iasi)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 47-60

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[132] arXiv:1107.1201 [pdf, other]

Title: Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng (Shanghai Jiao Tong University), Rob van Glabbeek (NICTA), Matthew Hennessy (Trinity College Dublin), Carroll Morgan (University of New South Wales)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 61-73

Subjects: Logic in Computer Science (cs.LO)

[133] arXiv:1107.1202 [pdf, other]

Title: A Stochastic Broadcast Pi-Calculus

Lei Song (IT University of Copenhagen, Denmark), Flemming Nielson (Technical University of Denmark), Bo Friis Nielsen (Technical University of Denmark)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 74-88

Subjects: Performance (cs.PF)

[134] arXiv:1107.1203 [pdf, other]

Title: Improvements for Free

Daniel Seidel, Janis Voigtländer

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 89-103

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[135] arXiv:1107.1204 [pdf, other]

Title: Analysis of Non-Linear Probabilistic Hybrid Systems

Joseph Assouramou (Université Laval), Josée Desharnais (Université Laval)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 104-119

Subjects: Logic in Computer Science (cs.LO)

[136] arXiv:1107.1205 [pdf, other]

Title: Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg (Irisa/INRIA Rennes), Claus Thrane (Aalborg University), Kim G. Larsen (Aalborg University)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 134-147

Subjects: Logic in Computer Science (cs.LO)

[137] arXiv:1107.1206 [pdf, other]

Title: Computing Distances between Probabilistic Automata

Mathieu Tracol (IST Austria), Josée Desharnais (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada), Abir Zhioua (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 148-162

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

[138] arXiv:1107.1222 [pdf, other]

Title: On the information-theoretic structure of distributed measurements

David Balduzzi (MPI for Intelligent Systems)

Comments: In Proceedings DCM 2011, arXiv:1207.6821

Journal-ref: EPTCS 88, 2012, pp. 28-42

Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC); Neural and Evolutionary Computing (cs.NE); Category Theory (math.CT); Cellular Automata and Lattice Gases (nlin.CG)

[139] arXiv:1107.1233 [pdf, other]

Title: HYPE with stochastic events

Luca Bortolussi, Vashti Galpin, Jane Hillston

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 120-133

Subjects: Logic in Computer Science (cs.LO)

[140] arXiv:1107.1265 [pdf, other]

Title: Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem

Thomas Watson

Comments: 19 pages, 8 figures

Subjects: Data Structures and Algorithms (cs.DS)

[141] arXiv:1107.1270 [pdf, other]

Title: High-Dimensional Gaussian Graphical Model Selection: Walk Summability and Local Separation Criterion

Animashree Anandkumar, Vincent Y. F. Tan, Alan. S. Willsky

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST)

[142] arXiv:1107.1276 [pdf, other]

Title: Experiment-driven Characterization of Full-Duplex Wireless Systems

Melissa Duarte, Chris Dick, Ashutosh Sabharwal

Comments: Revised the submission to IEEE Transactions on Wireless Communications, May 2012. Submitted to IEEE Transactions on Wireless Communications, July 2011

Subjects: Information Theory (cs.IT)

[143] arXiv:1107.1283 [pdf, other]

Title: Spectral Methods for Learning Multivariate Latent Tree Structure

Animashree Anandkumar, Kamalika Chaudhuri, Daniel Hsu, Sham M. Kakade, Le Song, Tong Zhang

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

[144] arXiv:1107.1292 [pdf, other]

Title: Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications

Christian Wulff-Nilsen

Comments: To appear at FOCS 2011

Subjects: Discrete Mathematics (cs.DM)

[145] arXiv:1107.1322 [pdf, other]

Title: Text Classification: A Sequential Reading Approach

Gabriel Dulac-Arnold, Ludovic Denoyer, Patrick Gallinari

Comments: ECIR2011

Journal-ref: Lecture Notes in Computer Science, 2011, Volume 6611/2011, 411-423

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[146] arXiv:1107.1327 [pdf, other]

Title: On counting untyped lambda terms

Pierre Lescanne (LIP)

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[147] arXiv:1107.1331 [pdf, other]

Title: Numerical Solution of the Tomography Problem in Domains with Obstacles

Kamen Lozev

Comments: 22 pages, 8 figures, 4 tables

Subjects: Numerical Analysis (math.NA)

[148] arXiv:1107.1339 [pdf, other]

Title: Estimation of Sparse MIMO Channels with Common Support

Yann Barbotin, Ali Hormati, Sundeep Rangan, Martin Vetterli

Comments: 12 pages / 7 figures. Submitted to IEEE Transactions on Communication

Subjects: Networking and Internet Architecture (cs.NI)

[149] arXiv:1107.1351 [pdf, other]

Title: Conway games, algebraically and coalgebraically

Furio Honsell (Dipartimento di Matematica e Informatica), Marina Lenisa (Dipartimento di Matematica e Informatica)

Comments: 30 pages

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 1, 2011) lmcs:703

Subjects: Logic in Computer Science (cs.LO)

[150] arXiv:1107.1358 [pdf, other]

Title: On the Furthest Hyperplane Problem and Maximal Margin Clustering

Zohar Karnin, Edo Liberty, Shachar Lovett, Roy Schwartz, Omri Weinstein

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)