Computer Science

Authors and titles for July 2011

[1] arXiv:1107.0011 [pdf, other]

Title: Flash-based Audio and Video Communication in the Cloud

Kundan Singh, Carol Davids

Comments: Technical Implementation Report, 13 pages, 15 figures

Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)

[2] arXiv:1107.0015 [pdf, other]

Title: Automaton based detection of affected cells in three dimensional biological system

Jitesh Dundas

Comments: 38 pages including 8 figures

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

[3] arXiv:1107.0018 [pdf, other]

Title: A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence

A. Al-Ani, M. Deriche

Journal-ref: Journal Of Artificial Intelligence Research, Volume 17, pages 333-361, 2002

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1107.0019 [pdf, other]

Title: Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs

S. Acid, L. M. de Campos

Journal-ref: Journal Of Artificial Intelligence Research, Volume 18, pages 445-490, 2003

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1107.0020 [pdf, other]

Title: Learning to Order BDD Variables in Verification

O. Grumberg, S. Livne, S. Markovitch

Journal-ref: Journal Of Artificial Intelligence Research, Volume 18, pages 83-116, 2003

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1107.0021 [pdf, other]

Title: Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis

W. E. Walsh, M. P. Wellman

Journal-ref: Journal Of Artificial Intelligence Research, Volume 19, pages 513-567, 2003

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1107.0022 [pdf, other]

Title: K-Implementation

D. Monderer, M. Tennenholtz

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 37-62, 2004

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)

[8] arXiv:1107.0023 [pdf, other]

Title: CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements

C. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos, D. Poole

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 135-191, 2004

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1107.0024 [pdf, other]

Title: Complexity Results and Approximation Strategies for MAP Explanations

A. Darwiche, J. D. Park

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 101-133, 2006

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1107.0025 [pdf, other]

Title: Taming Numbers and Durations in the Model Checking Integrated Planning System

S. Edelkamp

Journal-ref: Journal Of Artificial Intelligence Research, Volume 20, pages 195-238, 2003

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1107.0026 [pdf, other]

Title: IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing

M. J. Nederhof, G. Satta

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 287-317, 2004

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1107.0027 [pdf, other]

Title: Effective Dimensions of Hierarchical Latent Class Models

T. Kocka, N. L. Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 1-17, 2004

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1107.0028 [pdf, other]

Title: Concurrent Auctions Across The Supply Chain

M. Babaioff, N. Nisan

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 595-629, 2004

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

[14] arXiv:1107.0029 [pdf, other]

Title: A Personalized System for Conversational Recommendations

M. H. Goker, P. Langley, C. A. Thompson

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 393-428, 2004

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

[15] arXiv:1107.0030 [pdf, other]

Title: Coherent Integration of Databases by Abductive Logic Programming

O. Arieli, M. Bruynooghe, M. Denecker, B. Van Nuffelen

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 245-286, 2004

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1107.0031 [pdf, other]

Title: Grounded Semantic Composition for Visual Scenes

P. Gorniak, D. Roy

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 429-470, 2004

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1107.0033 [pdf, other]

Title: Existence of Multiagent Equilibria with Limited Agents

M. Bowling, M. Veloso

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 353-384, 2004

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

[18] arXiv:1107.0034 [pdf, other]

Title: Price Prediction in a Trading Agent Competition

K. M. Lochner, D. M. Reeves, Y. Vorobeychik, M. P. Wellman

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 19-36, 2004

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1107.0035 [pdf, other]

Title: Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

J. Keppens, Q. Shen

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 499-550, 2004

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1107.0036 [pdf, other]

Title: Can We Learn to Beat the Best Stock

A. Borodin, R. El-Yaniv, V. Gogan

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 579-594, 2004

Subjects: Artificial Intelligence (cs.AI); Trading and Market Microstructure (q-fin.TR)

[21] arXiv:1107.0037 [pdf, other]

Title: Competitive Coevolution through Evolutionary Complexification

R. Miikkulainen, K. O. Stanley

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 63-100, 2004

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1107.0038 [pdf, other]

Title: Dual Modelling of Permutation and Injection Problems

B. Hnich, B. M. Smith, T. Walsh

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 357-391, 2004

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1107.0040 [pdf, other]

Title: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

H. E. Dixon, M. L. Ginsberg, A. J. Parkes

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 193-243, 2004

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1107.0041 [pdf, other]

Title: PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment

A. Ben-Yair, A. Felner, S. Kraus, N. Netanyahu, R. Stern

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 631-670, 2004

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1107.0042 [pdf, other]

Title: Restricted Value Iteration: Theory and Algorithms

N. L. Zhang, W. Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 123-165, 2005

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1107.0043 [pdf, other]

Title: A Maximal Tractable Class of Soft Constraints

D. Cohen, M. Cooper, P. Jeavons, A. Krokhin

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 1-22, 2004

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1107.0044 [pdf, other]

Title: Towards Understanding and Harnessing the Potential of Clause Learning

P. Beame, H. Kautz, A. Sabharwal

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 319-351, 2004

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1107.0045 [pdf, other]

Title: Graduality in Argumentation

C. Cayrol, M. C. Lagasquie-Schiex

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 245-297, 2005

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1107.0046 [pdf, other]

Title: Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms

P. Derbeko, R. El-Yaniv, R. Meir

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 117-142, 2004

Subjects: Artificial Intelligence (cs.AI)

[30] arXiv:1107.0047 [pdf, other]

Title: Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis

C. V. Goldman, S. Zilberstein

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 143-174, 2004

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1107.0048 [pdf, other]

Title: Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments

E. Celaya, J. M. Porta

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 79-122, 2005

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1107.0050 [pdf, other]

Title: Additive Pattern Database Heuristics

A. Felner, S. Hanan, R. E. Korf

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 279-318, 2004

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1107.0051 [pdf, other]

Title: On Prediction Using Variable Order Markov Models

R. Begleiter, R. El-Yaniv, G. Yona

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 385-421, 2004

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1107.0052 [pdf, other]

Title: Ordered Landmarks in Planning

J. Hoffmann, J. Porteous, L. Sebastia

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 215-278, 2004

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1107.0053 [pdf, other]

Title: Finding Approximate POMDP solutions Through Belief Compression

N. Roy, G. Gordon, S. Thrun

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 1-40, 2005

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1107.0054 [pdf, other]

Title: A Comprehensive Trainable Error Model for Sung Music Queries

W. P. Birmingham, C. J. Meek

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 57-91, 2004

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1107.0055 [pdf, other]

Title: Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem

W. Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 471-497, 2004

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1107.0056 [pdf, other]

Title: Fixed parameter algorithms for restricted coloring problems

Victor Campos, Cláudia Linhares-Sales, Ana Karolinna Maia, Nicolas Martins, Rudini Menezes Sampaio

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

[39] arXiv:1107.0062 [pdf, other]

Title: Optimal Multi-Robot Path Planning with Temporal Logic Constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus

Comments: Extended version of the IROS 2011 conference paper

Subjects: Robotics (cs.RO)

[40] arXiv:1107.0063 [pdf, other]

Title: Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba Ölveczky (University of Oslo)

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 3-13

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[41] arXiv:1107.0064 [pdf, other]

Title: Rascal: From Algebraic Specification to Meta-Programming

Jeroen van den Bos (CWI), Mark Hills (CWI), Paul Klint (CWI), Tijs van der Storm (CWI), Jurgen J. Vinju (CWI)

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 15-32

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

[42] arXiv:1107.0065 [pdf, other]

Title: Typed lambda-terms in categorical attributed graph transformation

Bertrand Boisvert, Louis Féraud, Sergei Soloviev

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 33-47

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1107.0066 [pdf, other]

Title: Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies

Francisco Durán (Universidad de Málaga), Peter Csaba Ölveczky (University of Oslo), José E. Rivera (Universidad de Málaga)

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 49-63

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[44] arXiv:1107.0067 [pdf, other]

Title: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

Suzana Andova (Eindhoven University of Technology), Mark van den Brand (Eindhoven University of Technology), Luc Engelen (Eindhoven University of Technology)

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 65-79

Subjects: Software Engineering (cs.SE)

[45] arXiv:1107.0068 [pdf, other]

Title: Tracing Properties of UML and OCL Models with Maude

Francisco Durán (Universidad de Málaga), Martin Gogolla (University of Bremen), Manuel Roldán (Universidad de Málaga)

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

Journal-ref: EPTCS 56, 2011, pp. 81-97

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[46] arXiv:1107.0078 [pdf, other]

Title: Optimization of UAV Heading for the Ground-to-Air Uplink

Feng Jiang, A. Lee Swindlehurst

Comments: 31 pages, 10 figures, accepted by IEEE JSAC special issue on "Communications Challenges and Dynamics for Unmanned Autonomous Vehicles", Apr. 2012

Subjects: Information Theory (cs.IT)

[47] arXiv:1107.0088 [pdf, other]

Title: Sparse Sums of Positive Semidefinite Matrices

Marcel K. de Carli Silva, Nicholas J. A. Harvey, Cristiane M. Sato

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Numerical Analysis (math.NA)

[48] arXiv:1107.0089 [pdf, other]

Title: Towards a Reliable Framework of Uncertainty-Based Group Decision Support System

Junyi Chai, James N.K. Liu

Comments: Accepted paper in IEEE-ICDM2010; Print ISBN: 978-1-4244-9244-2

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI)

[49] arXiv:1107.0098 [pdf, other]

Title: A Probabilistic Attack on NP-complete Problems

Alexander Y. Davydov

Comments: 16 pages, 8 figures, 2 tables

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

[50] arXiv:1107.0104 [pdf, other]

Title: Approximating Tverberg Points in Linear Time for Any Fixed Dimension

Wolfgang Mulzer, Daniel Werner

Comments: 14 pages, 2 figures. A preliminary version appeared in SoCG 2012. This version removes an incorrect example at the end of Section 3.1

Journal-ref: Discrete and Computational Geometry, 50(2), 2013, pp 520-535

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

[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)