Computer Science

Authors and titles for September 2008

[1] arXiv:0809.0009 [pdf, other]

Title: Distributed Parameter Estimation in Sensor Networks: Nonlinear Observation Models and Imperfect Communication

Soummya Kar, Jose M.F.Moura, Kavita Ramanan

Comments: IEEE Transactions On Information Theory, Vol. 58, No. 6, June 2012

Subjects: Multiagent Systems (cs.MA); Information Theory (cs.IT)

[2] arXiv:0809.0016 [pdf, other]

Title: An overview of the transmission capacity of wireless networks

Steven Weber, Jeffrey G. Andrews, Nihar Jindal

Comments: Submitted August 13, 2009 to IEEE Transactions on Communications. Revisions submitted December 14, 2009 and February 26, 2010.

Subjects: Information Theory (cs.IT)

[3] arXiv:0809.0021 [pdf, other]

Title: A spectral method for elliptic equations: the Dirichlet problem

Kendall Atkinson (University of Iowa), David Chien (California State University - San Marcos), Olaf Hansen (California State University - San Marcos)

Comments: This is latex with the standard article style, produced using Scientific Workplace in a portable format. The paper is 22 pages in length with 8 figures

Journal-ref: Advances in Computational Mathematics, 33 (2010), pp. 169-189

Subjects: Numerical Analysis (math.NA)

[4] arXiv:0809.0024 [pdf, other]

Title: Game Theory with Costly Computation

Joseph Y. Halpern, Rafael Pass

Subjects: Computer Science and Game Theory (cs.GT); Cryptography and Security (cs.CR)

[5] arXiv:0809.0032 [pdf, other]

Title: A Variational Inference Framework for Soft-In-Soft-Out Detection in Multiple Access Channels

D. D. Lin, T. J. Lim

Comments: Submitted to Transactions on Information Theory

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

[6] arXiv:0809.0060 [pdf, other]

Title: Model Checking Probabilistic Timed Automata with One or Two Clocks

Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 26, 2008) lmcs:988

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:0809.0062 [pdf, other]

Title: The Stochastic Logarithmic Norm for Stability Analysis of Stochastic Differential Equations

Sk. Safique Ahmad, Nagalinga Rajan, Soumyendu Raha

Comments: 19 pages

Subjects: Numerical Analysis (math.NA)

[8] arXiv:0809.0063 [pdf, other]

Title: Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

Jean-Guillaume Dumas (LJK), Laurent Fousse (LJK), Bruno Salvy (INRIA Rocquencourt)

Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)

[9] arXiv:0809.0070 [pdf, other]

Title: Underwater Acoustic Networks: Channel Models and Network Coding based Lower Bound to Transmission Power for Multicast

Daniel E. Lucani, Muriel Médard, Milica Stojanovic

Comments: 12 pages, 10 figures, 2 Tables, Accepted to Journal on Selected Areas in Communications (Underwater Communications and Wireless Networks)

Subjects: Information Theory (cs.IT)

[10] arXiv:0809.0091 [pdf, other]

Title: A functional view of upper bounds on codes

Alexander Barg, Dmitry Nogin

Comments: 10 pages

Journal-ref: " Coding and Cryptography," Proceedings of the First International Workshop, Wuyi Mountain, Fujian, China, 11 - 15 June 2007, edited by Yongqing Li et al., World Scientific, 2008, pp. 15--24

Subjects: Information Theory (cs.IT)

[11] arXiv:0809.0099 [pdf, other]

Title: Degrees of Freedom of the $K$ User $M \times N$ MIMO Interference Channel

Tiangao Gou, Syed A. Jafar

Subjects: Information Theory (cs.IT)

[12] arXiv:0809.0103 [pdf, other]

Title: On the nature of long-range letter correlations in texts

Dmitrii Y. Manin

Comments: 14 pages, 5 figures, unpublished

Subjects: Computation and Language (cs.CL); Information Theory (cs.IT)

[13] arXiv:0809.0116 [pdf, other]

Title: Toward Expressive and Scalable Sponsored Search Auctions

David J. Martin, Johannes Gehrke, Joseph Y. Halpern

Comments: 10 pages, 13 figures, ICDE 2008

Journal-ref: David J. Martin, Johannes Gehrke, and Joseph Y. Halpern. Toward Expressive and Scalable Sponsored Search Auctions. In Proceedings of the 24th IEEE International Conference on Data Engineering, pages 237--246. April 2008

Subjects: Databases (cs.DB)

[14] arXiv:0809.0124 [pdf, other]

Title: A Uniform Approach to Analogies, Synonyms, Antonyms, and Associations

Peter D. Turney (National Research Council of Canada)

Comments: related work available at this http URL

Journal-ref: Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008), August 2008, Manchester, UK, Pages 905-912

Subjects: Computation and Language (cs.CL); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[15] arXiv:0809.0158 [pdf, other]

Title: Network Tomography Based on Additive Metrics

Jian Ni, Sekhar Tatikonda

Comments: 35 pages

Journal-ref: IEEE Transactions on Information Theory, 57(12), December 2011

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

[16] arXiv:0809.0159 [pdf, other]

Title: Improved Approximations for Guarding 1.5-Dimensional Terrains

K. Elbassioni, D. Matijevic, J. Mestre, D. Severdija

Comments: 10 pages, 1 Postscript figure, uses this http URL

Subjects: Computational Geometry (cs.CG)

[17] arXiv:0809.0188 [pdf, other]

Title: Approximating Transitivity in Directed Networks

Piotr Berman, Bhaskar DasGupta, Marek Karpinski

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

[18] arXiv:0809.0195 [pdf, other]

Title: Light Logics and the Call-by-Value Lambda Calculus

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Comments: 28 pages

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (November 7, 2008) lmcs:820

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:0809.0199 [pdf, other]

Title: Dense Error Correction via L1-Minimization

John Wright, Yi Ma

Comments: 40 pages, 9 figures

Subjects: Information Theory (cs.IT)

[20] arXiv:0809.0216 [pdf, other]

Title: Colliding Message Pairs for 23 and 24-step SHA-512

Somitra Kumar Sanadhya, Palash Sarkar

Comments: 2 pages, 2 Tables

Subjects: Cryptography and Security (cs.CR)

[21] arXiv:0809.0257 [pdf, other]

Title: Linear Kernelizations for Restricted 3-Hitting Set Problems

Xuan Cai

Comments: 12 pages

Subjects: Computational Complexity (cs.CC)

[22] arXiv:0809.0271 [pdf, other]

Title: Randomised Variable Neighbourhood Search for Multi Objective Optimisation

Martin Josef Geiger

Journal-ref: Proceedings of the 4th EU/ME Workshop: Design and Evaluation of Advanced Hybrid Meta-Heuristics, November 4--5, Nottingham, United Kingdom, pp. 34-42

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:0809.0352 [pdf, other]

Title: Instruction sequences and non-uniform complexity theory

J. A. Bergstra, C. A. Middelburg

Comments: 31 pages; 31 pages, improvements of several proof outlines; 33 pages, presentation of section 7 improved

Subjects: Computational Complexity (cs.CC)

[24] arXiv:0809.0355 [pdf, other]

Title: Simulations between triangular and hexagonal number-conserving cellular automata

Katsunobu Imai (I3S, IEC), Bruno Martin (I3S)

Comments: 11 pages; International Workshop on Natural Computing, Yokohama : Japon (2008)

Subjects: Discrete Mathematics (cs.DM)

[25] arXiv:0809.0360 [pdf, other]

Title: The Complexity of Enriched Mu-Calculi

Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi

Comments: A preliminary version of this paper appears in the Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP), 2006. This paper has been selected for a special issue in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 22, 2008) lmcs:993

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)

[26] arXiv:0809.0400 [pdf, other]

Title: Canonical Coin Systems for Change-Making Problems

Xuan Cai

Comments: 7 pages

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

[27] arXiv:0809.0406 [pdf, other]

Title: Foundations of the Pareto Iterated Local Search Metaheuristic

Martin Josef Geiger

Comments: Proceedings of the 18th International Conference on Multiple Criteria Decision Making, Chania, Greece, June 19-23, 2006

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:0809.0410 [pdf, other]

Title: A Computational Study of Genetic Crossover Operators for Multi-Objective Vehicle Routing Problem with Soft Time Windows

Martin Josef Geiger

Journal-ref: Habenicht, W. et al. (eds.): Multi-Criteria- und Fuzzy Systeme in Theorie und Praxis-Loesungsansaetze fuer Entscheidungsprobleme mit komplexen Zielsystemen, 2003, ISBN 3-8244-7864-1, pp. 191-207

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:0809.0416 [pdf, other]

Title: Genetic Algorithms for multiple objective vehicle routing

Martin Josef Geiger

Journal-ref: Proceedings of the Metaheuristics International Conference MIC'2001, Porto, Portugal, pp. 349-353

Subjects: Artificial Intelligence (cs.AI)

[30] arXiv:0809.0458 [pdf, other]

Title: Agent Models of Political Interactions

Eric Engle

Comments: 22 pages

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

[31] arXiv:0809.0460 [pdf, other]

Title: Stochastic Combinatorial Optimization under Probabilistic Constraints

Shipra Agrawal, Amin Saberi, Yinyu Ye

Subjects: Data Structures and Algorithms (cs.DS)

[32] arXiv:0809.0461 [pdf, other]

Title: The Semiotic Machine

Eric Engle

Comments: 28 pages

Subjects: Human-Computer Interaction (cs.HC)

[33] arXiv:0809.0465 [pdf, other]

Title: New Formulas and Methods for Interpolation, Numerical Differentiation and Numerical Integration

Ramesh kumar Muthumalai

Comments: 34 pages

Subjects: Numerical Analysis (math.NA)

[34] arXiv:0809.0490 [pdf, other]

Title: Principal Graphs and Manifolds

A. N. Gorban, A. Y. Zinovyev

Comments: 36 pages, 6 figures, minor corrections

Journal-ref: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods and Techniques, Ch. 2, Information Science Reference, 2009. 28-59

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[35] arXiv:0809.0494 [pdf, other]

Title: Interaction Grammars

Bruno Guillaume (INRIA Lorraine - LORIA), Guy Perrier (INRIA Lorraine - LORIA)

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:0809.0519 [pdf, other]

Title: Complexity of comparison of influence of players in simple games

Haris Aziz

Comments: Latex, 13 pages, COMSOC-2008: 2nd International Workshop on Computational Social Choice

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

[37] arXiv:0809.0524 [pdf, other]

Title: Computer Art in the Former Soviet Bloc

Eric Engle

Comments: 28 pages

Subjects: Multimedia (cs.MM); Computers and Society (cs.CY)

[38] arXiv:0809.0533 [pdf, other]

Title: Power Control in Cognitive Radio Networks: How to Cross a Multi-Lane Highway

Wei Ren, Qing Zhao, Ananthram Swami

Comments: 20 pages, 10 figures, to appear in IEEE Journal on Selected Areas in Communications (JSAC): Special Issue on Stochastic Geometry and Random Graphs for Wireless Networks

Subjects: Networking and Internet Architecture (cs.NI)

[39] arXiv:0809.0536 [pdf, other]

Title: How to Fully Exploit the Degrees of Freedom in the Downlink of MISO Systems With Opportunistic Beamforming

Minghua Xia, Wenkun Wen, Soo-Chang Kim

Comments: v2, revised Jan. 5, 2009. Few typo and error corrections, better clarification

Subjects: Information Theory (cs.IT)

[40] arXiv:0809.0539 [pdf, other]

Title: Signature Quantization in Fading CDMA With Limited Feedback

Wiroonsak Santipach

Journal-ref: IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 2, PP. 569-577 FEBRUARY 2011

Subjects: Information Theory (cs.IT)

[41] arXiv:0809.0610 [pdf, other]

Title: A framework for the interactive resolution of multi-objective vehicle routing problems

Martin Josef Geiger, Wolf Wenger

Comments: Proceedings of the 7th EU/ME Workshop: Adaptive, Self-Adaptive, and Multi-Level Metaheuristics, Malaga, Spain, November 16-17, 2006

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:0809.0635 [pdf, other]

Title: Low ML-Decoding Complexity, Large Coding Gain, Full-Rate, Full-Diversity STBCs for 2 X 2 and 4 X 2 MIMO Systems

K. Pavan Srinath, B. Sundar Rajan

Comments: 28 pages, 5 figures, 3 tables, submitted to IEEE Journal of Selected Topics in Signal Processing

Subjects: Information Theory (cs.IT)

[43] arXiv:0809.0662 [pdf, other]

Title: Improving Local Search for Fuzzy Scheduling Problems

Martin Josef Geiger, Sanja Petrovic

Journal-ref: Proceedings of the Post Graduate Research Conference in Electronics, Photonics, Communications & Networks and Computing Science PREP 2004, University of Hertfordshire, Great Britain, pp. 146-147

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:0809.0676 [pdf, other]

Title: Binary Random Sequences Obtained From Decimal Sequences

Suresh B. Thippireddy

Comments: 10 pages

Subjects: Cryptography and Security (cs.CR)

[45] arXiv:0809.0678 [pdf, other]

Title: Compressive Wave Computation

Laurent Demanet, Gabriel Peyré

Comments: 45 pages, 4 figures

Journal-ref: Fundation of Computational Mathematics, vol. 11(3), pp. 257-303, 2011

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[46] arXiv:0809.0680 [pdf, other]

Title: The Prolog Interface to the Unstructured Information Management Architecture

Paul Fodor, Adam Lally, David Ferrucci

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

[47] arXiv:0809.0686 [pdf, other]

Title: Energy Scaling Laws for Distributed Inference in Random Fusion Networks

Animashree Anandkumar, Joseph E. Yukich, Lang Tong, Ananthram Swami

Comments: IEEE JSAC on Stochastic Geometry and Random Graphs for Wireless Networks

Journal-ref: vol. 27, no. 7, pp.1203-1217, Sept. 2009

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

[48] arXiv:0809.0689 [pdf, other]

Title: Rational Generating Functions and Integer Programming Games

Matthias Köppe, Christopher Thomas Ryan, Maurice Queyranne

Comments: 18 pages

Journal-ref: Operations Research 59 (2011), no. 6, 1445-1460

Subjects: Computer Science and Game Theory (cs.GT); Combinatorics (math.CO)

[49] arXiv:0809.0719 [pdf, other]

Title: A Fast Butterfly Algorithm for the Computation of Fourier Integral Operators

Emmanuel Candes, Laurent Demanet, Lexing Ying

Comments: 25 pages, 2 figures

Subjects: Numerical Analysis (math.NA)

[50] arXiv:0809.0723 [pdf, other]

Title: A Simple Mechanism for Focused Web-harvesting

Z. Akbar, L.T. Handoko

Comments: 6 pages, 4 figures, Proceeding of the International Conference on Advanced Computational Intelligence and Its Applications 2008

Subjects: Information Retrieval (cs.IR); Computers and Society (cs.CY)