Computer Science

Authors and titles for March 2007

[51] arXiv:cs/0703051 [pdf, other]

Title: An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)

Yu Ding

Comments: This paper is submitted in 2007

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:cs/0703052 [pdf, other]

Title: On the densest MIMO lattices from cyclic division algebras

C. Hollanti, J. Lahtonen, K. Ranto, R. Vehkalahti

Comments: 33 pages, 1 figure, submitted to IEEE Trans. on Inform. Theory Dec. 2006

Journal-ref: IEEE Trans. Inf. Theory, vol. 55(8), Aug. 2009, pp. 3751-3780

Subjects: Information Theory (cs.IT)

[53] arXiv:cs/0703053 [pdf, other]

Title: Extraction of cartographic objects in high resolution satellite images for object model generation

Guray Erus (CRIP5), Nicolas Loménie (CRIP5)

Journal-ref: 4th Workshop on pattern Recognition in Remote Sensing in conjunction with ICPR2006 (08/2006) 00-00

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

[54] arXiv:cs/0703054 [pdf, other]

Title: Linear time algorithms for Clobber

Vincent D. Blondel, Julien M. Hendrickx, Raphael M. Jungers

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

[55] arXiv:cs/0703055 [pdf, other]

Title: Support and Quantile Tubes

Kristiaan Pelckmans, Jos De Brabanter, Johan A.K. Suykens, Bart De Moor

Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

[56] arXiv:cs/0703056 [pdf, other]

Title: Unasssuming View-Size Estimation Techniques in OLAP

Kamel Aouiche, Daniel Lemire

Comments: Published in ICEIS 2007

Subjects: Databases (cs.DB); Performance (cs.PF)

[57] arXiv:cs/0703057 [pdf, other]

Title: Doppler Resilient Waveforms with Perfect Autocorrelation

Ali Pezeshki, A. Robert Calderbank, William Moran, Stephen D. Howard

Comments: Submitted to IEEE Transactions on Information Theory, March 2007

Subjects: Information Theory (cs.IT)

[58] arXiv:cs/0703058 [pdf, other]

Title: A Comparison of Five Probabilistic View-Size Estimation Techniques in OLAP

Kamel Aouiche, Daniel Lemire

Subjects: Databases (cs.DB); Performance (cs.PF)

[59] arXiv:cs/0703059 [pdf, other]

Title: Geometry and the complexity of matrix multiplication

J.M. Landsberg

Comments: 34 pages, 4 figures

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

[60] arXiv:cs/0703060 [pdf, other]

Title: Redesigning Decision Matrix Method with an indeterminacy-based inference process

Jose L. Salmeron, Florentin Smarandache

Comments: 12 pages, 4 figures, one table

Journal-ref: A short version published in Advances in Fuzzy Sets and Systems, Vol. 1(2), 263-271, 2006

Subjects: Artificial Intelligence (cs.AI)

[61] arXiv:cs/0703061 [pdf, other]

Title: Coding for Errors and Erasures in Random Network Coding

Ralf Koetter, Frank Kschischang

Comments: This revised paper contains some minor changes and clarifications

Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

[62] arXiv:cs/0703062 [pdf, other]

Title: Bandit Algorithms for Tree Search

Pierre-Arnaud Coquelin (CMAP), Rémi Munos (INRIA Futurs)

Subjects: Machine Learning (cs.LG)

[63] arXiv:cs/0703063 [pdf, other]

Title: Convergence and Optimal Buffer Sizing for Window Based AIMD Congestion Control

Konstantin Avrachenkov (INRIA Sophia Antipolis), Urtzi Ayesta (LAAS), Alexei Piunovskiy

Subjects: Networking and Internet Architecture (cs.NI)

[64] arXiv:cs/0703064 [pdf, other]

Title: Automatic Structures: Richness and Limitations

Bakhadyr Khoussainov, Andre Nies, Sasha Rubin, Frank Stephan

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 2 (April 26, 2007) lmcs:2219

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

[65] arXiv:cs/0703065 [pdf, other]

Title: Satisfying assignments of Random Boolean CSP: Clusters and Overlaps

Gabriel Istrate

Subjects: Discrete Mathematics (cs.DM); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC)

[66] arXiv:cs/0703066 [pdf, other]

Title: Discriminating and Identifying Codes in the Binary Hamming Space

Charon Cohen, Hudry Lobstein

Subjects: Discrete Mathematics (cs.DM)

[67] arXiv:cs/0703067 [pdf, other]

Title: Target assignment for robotic networks: asymptotic performance under limited communication

Stephen L. Smith, Francesco Bullo

Comments: 2007 ACC paper including proofs; Corrected typos

Subjects: Robotics (cs.RO)

[68] arXiv:cs/0703068 [pdf, other]

Title: Option Valuation using Fourier Space Time Stepping

Kenneth R. Jackson, Sebastian Jaimungal, Vladimir Surkov

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

[69] arXiv:cs/0703069 [pdf, other]

Title: Portlet Wrappers using JavaScript

Paul Fodor

Subjects: Software Engineering (cs.SE)

[70] arXiv:cs/0703070 [pdf, other]

Title: Flexible Audio Streams

Paul Fodor

Subjects: Human-Computer Interaction (cs.HC)

[71] arXiv:cs/0703071 [pdf, other]

Title: Automatic Annotation of XHTML Pages with Audio Components

Paul Fodor

Subjects: Other Computer Science (cs.OH)

[72] arXiv:cs/0703072 [pdf, other]

Title: Domain Directed Dialogs for Decision Processes

Paul Fodor

Subjects: Other Computer Science (cs.OH)

[73] arXiv:cs/0703073 [pdf, other]

Title: A New Numerical Abstract Domain Based on Difference-Bound Matrices

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Program As Data Objects II (PADOII) (05/2001) 155-172

Subjects: Programming Languages (cs.PL)

[74] arXiv:cs/0703074 [pdf, other]

Title: Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Languages, Compilers, and Tools for Embedded Systems (LCTES) (06/2006) 54-63

Subjects: Programming Languages (cs.PL)

[75] arXiv:cs/0703075 [pdf, other]

Title: A Few Graph-Based Relational Numerical Abstract Domains

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Static Analysis Symposium (SAS) (09/2002) 117-132

Subjects: Programming Languages (cs.PL)

[76] arXiv:cs/0703076 [pdf, other]

Title: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Verification, Abstract Interpretation and Model Checking (VMCAI) (01/2006) 348-363

Subjects: Programming Languages (cs.PL)

[77] arXiv:cs/0703077 [pdf, other]

Title: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: European Symposium on Programming (ESOP) (03/2004) 3-17

Subjects: Programming Languages (cs.PL)

[78] arXiv:cs/0703078 [pdf, other]

Title: Broadcast Capacity Region of Two-Phase Bidirectional Relaying

Tobias J. Oechtering, Igor Bjelakovic, Clemens Schnurr, Holger Boche

Comments: 25 pages, 2 figures, submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[79] arXiv:cs/0703079 [pdf, other]

Title: Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Joost Engelfriet, Hendrik Jan Hoogeboom

Comments: Paper for Logical Methods in Computer Science, 27 pages, 1 figure

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 2 (April 26, 2007) lmcs:2220

Subjects: Logic in Computer Science (cs.LO)

[80] arXiv:cs/0703080 [pdf, other]

Title: A Systematic Approach to Web-Application Development

Joy Dutta, Paul Fodor

Subjects: Software Engineering (cs.SE)

[81] arXiv:cs/0703081 [pdf, other]

Title: Randomized Computations on Large Data Sets: Tight Lower Bounds

Martin Grohe, Andre Hernich, Nicole Schweikardt

Comments: 29 pages, 2 figures, full version of PODS'06 paper

Subjects: Databases (cs.DB); Computational Complexity (cs.CC)

[82] arXiv:cs/0703082 [pdf, other]

Title: Remarks on the O(N) Implementation of the Fast Marching Method

Christian Rasch, Thomas Satzger

Comments: 7 pages, 2 figures

Subjects: Numerical Analysis (math.NA)

[83] arXiv:cs/0703083 [pdf, other]

Title: Characterization of Search Engine Caches

Frank McCown, Michael L. Nelson

Comments: 5 pages, 9 figures, IS&T Archiving 2007, May, 2007

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

[84] arXiv:cs/0703084 [pdf, other]

Title: The Octagon Abstract Domain

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Analysis, Slicing and Transformation (AST) (10/2001) 310-319

Subjects: Programming Languages (cs.PL)

[85] arXiv:cs/0703085 [pdf, other]

Title: Dimension and Relative Frequencies

Xiaoyang Gu, Jack H. Lutz

Subjects: Computational Complexity (cs.CC)

[86] arXiv:cs/0703086 [pdf, other]

Title: A Technical Report On Grid Benchmarking using SEE V.O

John Kouvakis, Fotis Georgatos

Comments: 5 pages, 12 figures including tables of results, SEE VO

Subjects: Performance (cs.PF)

[87] arXiv:cs/0703087 [pdf, other]

Title: Social Information Processing in Social News Aggregation

Kristina Lerman

Comments: Extended version of the paper submitted to IEEE Internet Computing's special issue on Social Search

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Multiagent Systems (cs.MA)

[88] arXiv:cs/0703088 [pdf, other]

Title: Plot 94 in ambiance X-Window

Ignacio Vega-Paez, Carlos Alberto Hernandez-Hernandez

Journal-ref: Proceedings in Information Systems Analysis and Synthesis ISAS 1995, 5th, International Symposium on Systems Research, Informatics and Cybernetics, pp. 135-139, August 16-20, 95, Baden-Baden, Germany

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

[89] arXiv:cs/0703089 [pdf, other]

Title: Space Program Language (SPL/SQL) for the Relational Approach of the Spatial Databases

Ignacio Vega-Paez, Feliu D. Sagols T

Journal-ref: Proceedings in Information Systems Analysis and Synthesis ISAS 1995, 5th International Symposium on Systems Research, Informatics and Cybernetics, pp. 89-93 August 16-20, 95, Baden-Baden, Germany

Subjects: Databases (cs.DB); Computational Geometry (cs.CG)

[90] arXiv:cs/0703090 [pdf, other]

Title: Orthogonal Frequency Division Multiplexing: An Overview

Kaur Inderjeet, Sharma Kanchan, Kulkarni.M

Comments: 7 Pages, 5 Figures

Subjects: Information Theory (cs.IT)

[91] arXiv:cs/0703091 [pdf, other]

Title: Multimodal Meaning Representation for Generic Dialogue Systems Architectures

Frédéric Landragin (INRIA Lorraine - LORIA), Alexandre Denis (INRIA Lorraine - LORIA), Annalisa Ricci (INRIA Lorraine - LORIA), Laurent Romary (INRIA Lorraine - LORIA)

Journal-ref: Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC 2004) (2004) 521-524

Subjects: Artificial Intelligence (cs.AI); Multimedia (cs.MM)

[92] arXiv:cs/0703092 [pdf, other]

Title: Comparing BB84 and Authentication-Aided Kak's Three-Stage Quantum Protocol

Partha Basuchowdhuri

Comments: 9 pages, 4 figures

Subjects: Cryptography and Security (cs.CR)

[93] arXiv:cs/0703093 [pdf, other]

Title: Some problems in asymptotic convex geometry and random matrices motivated by numerical algorithms

Roman Vershynin

Comments: 12 pages, no figures. Based on the talk at the 2006 conference on Banach Spaces and their applications in analysis

Journal-ref: Banach spaces and their applications in analysis, 209--218, Walter de Gruyter, Berlin, 2007

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

[94] arXiv:cs/0703094 [pdf, other]

Title: Geographic Routing Around Obstacles in Wireless Sensor Networks

Olivier Powell, Sotiris Nikolesteas

Comments: 37 pages, 23 figures

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

[95] arXiv:cs/0703095 [pdf, other]

Title: Copula Component Analysis

Jian Ma, Zengqi Sun

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

[96] arXiv:cs/0703096 [pdf, other]

Title: Asynchronous Event-Driven Particle Algorithms

Aleksandar Donev

Comments: To appear in Simulation: Transactions of the Society for Modeling and Simulation International, 2008

Subjects: Other Computer Science (cs.OH)

[97] arXiv:cs/0703097 [pdf, other]

Title: On Approximating Optimal Weighted Lobbying, and Frequency of Correctness versus Average-Case Polynomial Time

Gabor Erdelyi, Lane A. Hemaspaandra, Joerg Rothe, Holger Spakowski

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

[98] arXiv:cs/0703098 [pdf, other]

Title: Polynomial time algorithm for 3-SAT. Examples of use

Sergey Gubin

Comments: 19 pages

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[99] arXiv:cs/0703099 [pdf, other]

Title: Constrained Cost-Coupled Stochastic Games with Independent State Processes

E. Altman, K. Avrachenkov, N. Bonneau, M. Debbah, R. El-Azouzi, D. Sadoc Menasche

Comments: 7 pages, submitted in september 2006 to Operations Research Letters

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

[100] arXiv:cs/0703100 [pdf, other]

Title: Approximation Algorithms for Multiprocessor Scheduling under Uncertainty

Guolong Lin, Rajmohan Rajaraman

Comments: 12 pages, 2 encapsulated postscript figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)