Computer Science

Authors and titles for July 2011

[51] arXiv:1107.0118 [pdf, other]

Title: Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding

Swadesh Choudhary, Hrishikesh Sharma, Sachin Patkar (Department of Electrical Engg., Indian Institute of Technology, Bombay)

Comments: 31 pages, to be submitted to some discrete mathematics journal

Journal-ref: Discrete Mathematics, Algorithms and Applications Vol. 5, No. 4 (2013)

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

[52] arXiv:1107.0134 [pdf, other]

Title: The Influence of Global Constraints on Similarity Measures for Time-Series Databases

Vladimir Kurbalija, Miloš Radovanović, Zoltan Geler, Mirjana Ivanović

Subjects: Artificial Intelligence (cs.AI)

[53] arXiv:1107.0169 [pdf, other]

Title: Unstructured Human Activity Detection from RGBD Images

Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena

Comments: 2012 IEEE International Conference on Robotics and Automation (A preliminary version of this work was presented at AAAI workshop on Pattern, Activity and Intent Recognition, 2011)

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

[54] arXiv:1107.0176 [pdf, other]

Title: How Not to Characterize Planar-emulable Graphs

Markus Chimani, Martin Derka, Petr Hliněný, Matěj Klusáček

Subjects: Discrete Mathematics (cs.DM)

[55] arXiv:1107.0192 [pdf, other]

Title: Multiple Space Debris Collecting Mission - Debris selection and Trajectory optimization

Max Cerf

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

[56] arXiv:1107.0193 [pdf, other]

Title: On the origin of ambiguity in efficient communication

Jordi Fortuny, Bernat Corominas-Murtra

Comments: 28 pages, 2 figures

Journal-ref: Journal of Logic, Language and Information. 0925-8531, pp 1--19 (2013)

Subjects: Computation and Language (cs.CL)

[57] arXiv:1107.0194 [pdf, other]

Title: Law of Connectivity in Machine Learning

Jitesh Dundas

Comments: Keywords- Machine Learning; unknown entities; independence; interaction; coverage, silent connections; ISSN 1473-804x online, 1473-8031 print

Journal-ref: I. J. of SIMULATION Vol. 11 No 5 1-10 Dec 2010

Subjects: Artificial Intelligence (cs.AI)

[58] arXiv:1107.0223 [pdf, other]

Title: A Multi-level Correction Scheme for Eigenvalue Problems

Qun Lin, Hehu Xie

Comments: 16 pages, 5 figures

Subjects: Numerical Analysis (math.NA)

[59] arXiv:1107.0234 [pdf, other]

Title: Unbounded Contention Resolution in Multiple-Access Channels

Antonio Fernández Anta, Miguel A. Mosteiro, Jorge Ramón Muñoz

Comments: 21 pages, 1 figure. To appear in DISC 2011

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

[60] arXiv:1107.0262 [pdf, other]

Title: Numerical Bifurcation Analysis of Conformal Formulations of the Einstein Constraints

M. Holst, V. Kungurtsev

Comments: 13 pages, 4 figures. Final revision for publication, added material on physical implications

Subjects: Numerical Analysis (math.NA); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

[61] arXiv:1107.0268 [pdf, other]

Title: Simple Algorithm Portfolio for SAT

Mladen Nikolic, Filip Maric, Predrag Janicic

Subjects: Artificial Intelligence (cs.AI)

[62] arXiv:1107.0278 [pdf, other]

Title: Completeness of Epistemic Coalition Logic with Group Knowledge

Thomas Ågotnes, Natasha Alechina

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:1107.0300 [pdf, other]

Title: The Compute-and-Forward Protocol: Implementation and Practical Aspects

Ali Osmane, Jean-Claude Belfiore

Comments: 3 pages, 3 figures, submitted to IEEE Communications Letters

Subjects: Information Theory (cs.IT)

[64] arXiv:1107.0336 [pdf, other]

Title: Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method

Hugues Randriambololona

Comments: 40 pages; difference with previous version: modified Lemma 5.6

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)

[65] arXiv:1107.0349 [pdf, other]

Title: First-order finite satisfiability vs tree automata in safety verification

Alexei Lisitsa

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO)

[66] arXiv:1107.0350 [pdf, other]

Title: Optimal Divide and Query (extended version)

David Insa, Josep Silva

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[67] arXiv:1107.0371 [pdf, other]

Title: Extended formulations for polygons

Samuel Fiorini, Thomas Rothvoß, Hans Raj Tiwary

Comments: 10 pages, 2 figures; Revised version accepted for publication in Discrete & Computational Geometry

Journal-ref: Discrete & Computational Geometry, Vol. 48, No. 3, 2012, pp 658-668

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

[68] arXiv:1107.0385 [pdf, other]

Title: An algorithm for autonomously plotting solution sets in the presence of turning points

Steven Pollack, Daniel Badali, Jonathan Pollack

Comments: 9 pages, 4 figures

Subjects: Numerical Analysis (math.NA); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS)

[69] arXiv:1107.0390 [pdf, other]

Title: On Linear Index Coding for Random Graphs

Ishay Haviv, Michael Langberg

Comments: 16 pages

Subjects: Information Theory (cs.IT)

[70] arXiv:1107.0399 [pdf, other]

Title: Vision-Based Navigation I: A navigation filter for fusing DTM/correspondence updates

Oleg Kupervasser, Vladimir Voronov

Comments: 26 pages, 3 figures, in English and in Russian. arXiv admin note: substantial text overlap with arXiv:1106.6341, arXiv:1107.1470

Journal-ref: Proceedings of the IEEE International Conference on Robotics and Biomimetics (ROBIO), 2011 , Page(s): 1591 - 1596

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[71] arXiv:1107.0416 [pdf, other]

Title: Beamforming on the MISO interference channel with multi-user decoding capability

Z.K.M.Ho, D.Gesbert, E.Jorswieck, R.Mochaourab

Subjects: Information Theory (cs.IT)

[72] arXiv:1107.0420 [pdf, other]

Title: Stable Restoration and Separation of Approximately Sparse Signals

Christoph Studer, Richard G. Baraniuk

Comments: to appear in Applied and Computational Harmonic Analysis (ACHA)

Subjects: Information Theory (cs.IT)

[73] arXiv:1107.0431 [pdf, other]

Title: Preference aggregation theory without acyclicity: The core without majority dissatisfaction

Masahiro Kumabe, H. Reiju Mihara

Comments: 27+3 pages

Journal-ref: Games and Economic Behavior (2011) 72:187-201

Subjects: Computer Science and Game Theory (cs.GT); Logic (math.LO)

[74] arXiv:1107.0433 [pdf, other]

Title: The second-price auction solves King Solomon's dilemma

H. Reiju Mihara

Comments: 12 pages;To appear in Japanese Economic Review

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

[75] arXiv:1107.0434 [pdf, other]

Title: Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Adrian Silvescu, Vasant Honavar

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

[76] arXiv:1107.0439 [pdf, other]

Title: The Nakamura numbers for computable simple games

Masahiro Kumabe, H. Reiju Mihara

Comments: 24+1 pages

Journal-ref: Social Choice and Welfare (2008) 31:621-640

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[77] arXiv:1107.0478 [pdf, other]

Title: Polar Codes with Mixed-Kernels

Noam Presman, Ofer Shapira, Simon Litsyn

Subjects: Information Theory (cs.IT)

[78] arXiv:1107.0498 [pdf, other]

Title: Optimal Contours for High-Order Derivatives

Folkmar Bornemann, Georg Wechslberger

Comments: added complexity bounds; added software as supplement; 9 pages, 6 figures, 2 tables

Subjects: Numerical Analysis (math.NA); Complex Variables (math.CV)

[79] arXiv:1107.0511 [pdf, other]

Title: Homological Coordinatization

Andrew Tausz, Gunnar Carlsson

Subjects: Computational Geometry (cs.CG)

[80] arXiv:1107.0524 [pdf, other]

Title: Adaptive boundary element methods with convergence rates

Tsogtgerel Gantumur

Comments: 48 pages. A journal version. The previous version (v3) is a bit lengthier

Subjects: Numerical Analysis (math.NA)

[81] arXiv:1107.0538 [pdf, other]

Title: Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines

Antonio Wendell De Oliveira Rodrigues (INRIA Lille - Nord Europe), Frédéric Guyomarc'H (INRIA Lille - Nord Europe), Jean-Luc Dekeyser (INRIA Lille - Nord Europe), Yvonnick Le Menach (L2EP)

Comments: Compumag 2011

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[82] arXiv:1107.0550 [pdf, other]

Title: 3D Terrestrial lidar data classification of complex natural scenes using a multi-scale dimensionality criterion: applications in geomorphology

Nicolas Brodu, Dimitri Lague

Comments: Free/Libre software implementation is available at this http URL, as well as data sets

Subjects: Computer Vision and Pattern Recognition (cs.CV); Geophysics (physics.geo-ph)

[83] arXiv:1107.0571 [pdf, other]

Title: The improved split-step backward Euler method for stochastic differential delay equations

Xiaojie Wang, Siqing Gan

Comments: 22 pages, 4 figures

Journal-ref: Int. J. Comput Math., 88 (11):2359-2378 (2010)

Subjects: Numerical Analysis (math.NA)

[84] arXiv:1107.0577 [pdf, other]

Title: Parameterized Regular Expressions and their Languages

Pablo Barceló, Leonid Libkin, Juan Reutter

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

[85] arXiv:1107.0586 [pdf, other]

Title: Managing key multicasting through orthogonal systems

Jose' Antonio Alvarez-Bermejo, Juan Antonio Lopez-Ramos, Joachim Rosenthal, Davide Schipani

Subjects: Cryptography and Security (cs.CR)

[86] arXiv:1107.0607 [pdf, other]

Title: Pushing the limits of Full-duplex: Design and Real-time Implementation

Achaleshwar Sahai, Gaurav Patel, Ashutosh Sabharwal

Comments: 12 page Rice University technical report

Subjects: Networking and Internet Architecture (cs.NI)

[87] arXiv:1107.0634 [pdf, other]

Title: Applications of Discrepancy Theory in Multiobjective Approximation

Christian Glaßer, Christian Reitwießner, Maximilian Witek

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

[88] arXiv:1107.0639 [pdf, other]

Title: Bounds on the capacity of OFDM underspread frequency selective fading channels

Itsik Bergel, Sergio Benedetto

Comments: 55 pages, 3 figures

Subjects: Information Theory (cs.IT)

[89] arXiv:1107.0666 [pdf, other]

Title: Infinitary Term Graph Rewriting

Patrick Bahr

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

[90] arXiv:1107.0681 [pdf, other]

Title: Does Quantum Interference exist in Twitter?

Xin Shuai, Ying Ding, Jerome Busemeyer, Yuyin Sun, Shanshan Chen, Jie Tang

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

[91] arXiv:1107.0690 [pdf, other]

Title: A Framework for Designing 3D Virtual Environments

Salvatore Catanese, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano

Comments: 12 pages, 1 figure, Proceedings of the 4th International ICST Conference On Intelligent Technologies For Interactive Entertainment, 2011

Journal-ref: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 78, 2012, pp 209-218

Subjects: Graphics (cs.GR); Multimedia (cs.MM)

[92] arXiv:1107.0746 [pdf, other]

Title: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages

Mieke Massink (CNR-ISTI, Pisa, Italy), Gethin Norman (University of Glasgow, UK)

Journal-ref: EPTCS 57, 2011

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

[93] arXiv:1107.0789 [pdf, other]

Title: Distributed Matrix Completion and Robust Factorization

Lester Mackey, Ameet Talwalkar, Michael I. Jordan

Comments: 35 pages, 6 figures

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA); Machine Learning (stat.ML)

[94] arXiv:1107.0798 [pdf, other]

Title: Generalized Maneuvers in Route Planning

Petr Hlineny, Ondrej Moris

Subjects: Data Structures and Algorithms (cs.DS)

[95] arXiv:1107.0803 [pdf, other]

Title: Motion Planning via Manifold Samples

Oren Salzman, Michael Hemmer, Barak Raveh, Dan Halperin

Comments: 18 pages

Subjects: Computational Geometry (cs.CG); Robotics (cs.RO)

[96] arXiv:1107.0845 [pdf, other]

Title: Automatic Road Lighting System (ARLS) Model Based on Image Processing of Moving Object

Suprijadi, Thomas Muliawan, Sparisoma Viridi

Comments: 5 pages, 8 figures, 1 table, submitted to ARPN Journal of Science and Technology

Journal-ref: ARPN Journal of Science and Technology 3 (12), 1105-1109 (2013)

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

[97] arXiv:1107.0871 [pdf, other]

Title: A simple algorithm for random colouring G(n, d/n) using (2+ε)d colours

Charilaos Efthymiou

Subjects: Discrete Mathematics (cs.DM)

[98] arXiv:1107.0894 [pdf, other]

Title: Discrete embeddings for Lagrangian and Hamiltonian systems

Jacky Cresson (LMAP), Isabelle Greff (LMAP), Charles Pierre (LMAP)

Comments: Acta Mathematica Vietnamica, Springer Singapore, A Para{î}tre

Subjects: Numerical Analysis (math.NA)

[99] arXiv:1107.0901 [pdf, other]

Title: Approximating Minimum Manhattan Networks in Higher Dimensions

Aparna Das, Emden R. Gansner, Michael Kaufmann, Stephen Kobourov, Joachim Spoerhase, Alexander Wolff

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

[100] arXiv:1107.0919 [pdf, other]

Title: The First-Order Theory of Ground Tree Rewrite Graphs

Stefan Göller (University of Bremen), Markus Lohrey (University of Leipzig)

Comments: accepted for Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 12, 2014) lmcs:1223

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)