Computer Science

Authors and titles for Jun 2004, skipping first 25

[26]  arXiv:cs/0406026 [pdf, ps, other]

Title: Improving Prolog Programs: Refactoring for Prolog

Authors: Tom Schrijvers, Alexander Serebrenik

Comments: To appear in ICLP 2004

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

[27]  arXiv:cs/0406027 [pdf, ps, other]

Title: Fluctuation in Peer-to-Peer Networks: Mitigating Its Effect on DHT Performance

Authors: Dietrich Fahrenholtz, Volker Turau

Comments: 5 pages

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

[28]  arXiv:cs/0406028 [pdf, ps, other]

Title: Ramsey-type theorems for metric spaces with applications to online problems

Authors: Yair Bartal, Bela Bollobas, Manor Mendel

Comments: Fix an error in the metadata. 31 pages, 0 figures. Preliminary version in FOCS '01. To be published in J. Comput. System Sci

Journal-ref: J. Comput. System Sci. 72(5):890-921, 2006

Subjects: Data Structures and Algorithms (cs.DS)

[29]  arXiv:cs/0406029 [pdf, ps, other]

Title: Subset Queries in Relational Databases

Authors: Satyanarayana R Valluri, Kamalakar Karlapalem

Comments: 15 pages

Subjects: Databases (cs.DB)

[30]  arXiv:cs/0406030 [pdf, ps, other]

Title: Abstract Canonical Inference

Authors: Maria Paola Bonacina, Nachum Dershowitz

Comments: 28 pages, no figures, to appear in ACM Trans. on Computational Logic

Journal-ref: ACM Transactions on Computational Logic, 8(1):180-208, January 2007

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[31]  arXiv:cs/0406031 [pdf, ps, other]

Title: A Public Reference Implementation of the RAP Anaphora Resolution Algorithm

Authors: Long Qiu, Min-Yen Kan, Tat-Seng Chua

Comments: 4-page LREC 2004 paper

Subjects: Computation and Language (cs.CL)

[32]  arXiv:cs/0406032 [pdf, ps, other]

Title: A Dynamic Clustering-Based Markov Model for Web Usage Mining

Authors: José Borges (1), Mark Levene (2) ((1) School of Engineering, University of Porto, Portuga,(2)Birkbeck, University of London, U.K)

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

[33]  arXiv:cs/0406033 [src]

Title: Randomized k-server algorithms for growth-rate bounded graphs

Authors: Manor Mendel

Comments: The paper is withdrawn

Journal-ref: J. Algorithms, 55(2): 192-202, 2005

Subjects: Data Structures and Algorithms (cs.DS)

[34]  arXiv:cs/0406034 [pdf, ps, other]

Title: Better algorithms for unfair metrical task systems and applications

Authors: Amos Fiat, Manor Mendel

Comments: 20 pages, 1 figure

Journal-ref: SIAM Journal on Computing 32(6), pp. 1403-1422, 2003

Subjects: Data Structures and Algorithms (cs.DS)

[35]  arXiv:cs/0406035 [pdf, ps, other]

Title: Optimal Free-Space Management and Routing-Conscious Dynamic Placement for Reconfigurable Devices

Authors: Ali Ahmadinia, Christophe Bobda, Sandor Fekete, Juergen Teich, Jan van der Veen

Comments: 18 pages, 8 figures, 1, table; previous 5-page extended abstract appears in "International Conference on Field-Programmable Logic and Applications", 2004. New version is final journal version, to appear in IEEE Transactions on Computers

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

[36]  arXiv:cs/0406036 [pdf, ps, other]

Title: Online Companion Caching

Authors: Manor Mendel, Steven S. Seiden

Comments: 17 pages, 1 figure. Preliminary version in ESA '02. To be published in Theoretical Computer Science A

Journal-ref: Theoret. Comput. Sci. 324(2-3): 183-200, 2004

Subjects: Data Structures and Algorithms (cs.DS)

[37]  arXiv:cs/0406037 [pdf, ps, other]

Title: Propositional Computability Logic II

Authors: Giorgi Japaridze

Comments: 25 pages

Journal-ref: ACM Transactions on Computational Logic 7 (2006), pp. 331-362

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

[38]  arXiv:cs/0406038 [pdf, ps, other]

Title: A New Approach to Draw Detection by Move Repetition in Computer Chess Programming

Authors: Vladan Vuckovic, Djordje Vidanovic

Comments: 15 pages, 4 figures

Subjects: Artificial Intelligence (cs.AI)

[39]  arXiv:cs/0406039 [pdf, ps, other]

Title: Long Nonbinary Codes Exceeding the Gilbert - Varshamov Bound for any Fixed Distance

Authors: Sergey Yekhanin, Ilya Dumer

Comments: Submitted to IEEE Trans. on Info. Theory

Subjects: Information Theory (cs.IT)

[40]  arXiv:cs/0406040 [pdf, ps, other]

Title: Alchemistry of the P versus NP question

Authors: Bonifac Donat

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

[41]  arXiv:cs/0406041 [pdf, ps, other]

Title: Non-Termination Inference of Logic Programs

Authors: Etienne Payet, Fred Mesnard

Comments: Long version (algorithms and proofs included) of a paper submitted to TOPLAS

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

[42]  arXiv:cs/0406042 [pdf, ps, other]

Title: Business Process Measures

Authors: Valdis Vitolins

Comments: 12 pages, 7 figures, 2 tables, Proceedings of International Conference "Baltic DB&IS 2004", Riga, Latvia (June 6-9, 2004)

Journal-ref: Vitolins Valdis, Business Process Measures. Computer Science and Information Technologies, Databases and Information Systems Doctoral Consortium, Scientific Papers University of Latvia Vol. 673, University of Latvia, 2004, pp. 186.-197

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

[43]  arXiv:cs/0406043 [pdf, ps, other]

Title: The Computational Complexity of Orientation Search Problems in Cryo-Electron Microscopy

Authors: Taneli Mielikäinen, Janne Ravantti, Esko Ukkonen

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Computer Vision and Pattern Recognition (cs.CV)

[44]  arXiv:cs/0406044 [pdf, ps, other]

Title: On the Computational Complexity of the Forcing Chromatic Number

Authors: Frank Harary, Wolfgang Slany, Oleg Verbitsky

Comments: 24 pages; This is the final version

Subjects: Computational Complexity (cs.CC)

[45]  arXiv:cs/0406045 [pdf, ps, other]

Title: Online Searching with Turn Cost

Authors: Erik D. Demaine, Sandor P. Fekete, Shmuel Gal

Comments: 15 pages, 2 figures, 1 table; to appear in Theoretical Computer Science. Did some minor editorial changes, fixed some typos, etc

Subjects: Data Structures and Algorithms (cs.DS)

[46]  arXiv:cs/0406046 [pdf, ps, other]

Title: Cheap Recovery: A Key to Self-Managing State

Authors: Andrew C. Huang, Armando Fox

Comments: Submitted to the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04)

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

[47]  arXiv:cs/0406047 [pdf, ps, other]

Title: Self-organizing neural networks in classification and image recognition

Authors: G.A. Ososkov, S.G. Dmitrievskiy, A.V. Stadnik

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

[48]  arXiv:cs/0406048 [pdf, ps, other]

Title: On Expanders Graphs: Parameters and Applications

Authors: H. L. Janwa A. K. Lal

Comments: Submitted to SIAM J. DAM on Feb. 1, 2001

Subjects: Information Theory (cs.IT)

[49]  arXiv:cs/0406049 [pdf, ps, other]

Title: A Fast, Vectorizable Algorithm for Producing Single-Precision Sine-Cosine Pairs

Authors: Marcus H. Mendenhall

Comments: 4 pages, 1 block sample code

Subjects: Mathematical Software (cs.MS)

[50]  arXiv:cs/0406050 [pdf, ps, other]

Title: Finite-Length Scaling for Iteratively Decoded LDPC Ensembles

Authors: Abdelaziz Amraoui, Andrea Montanari, Tom Richardson, Ruediger Urbanke

Comments: 45 pages, 14 figures

Subjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Discrete Mathematics (cs.DM)

[51]  arXiv:cs/0406051 [pdf, ps, other]

Title: Stable Outcomes for Two-Sided Contract Choice Problems

Authors: Somdeb Lahiri

Comments: 13 pages; source file: MS Word

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

[52]  arXiv:cs/0406052 [pdf, ps, other]

Title: NoSEBrEaK - Attacking Honeynets

Authors: Maximillian Dornseif, Thorsten Holz, Christian N. Klein

Journal-ref: Proceedings from the fifth IEEE Systems, Man and Cybernetics Information Assurance Workshop, Westpoint, 2004; Pages 123-129

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)

[53]  arXiv:cs/0406053 [pdf, ps, other]

Title: Approximation Algorithms for Minimum PCR Primer Set Selection with Amplification Length and Uniqueness Constraints

Authors: K. Konwar, I. Mandoiu, A. Russell, A. Shvartsman

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Quantitative Methods (q-bio.QM)

[54]  arXiv:cs/0406054 [pdf, ps, other]

Title: Building a linguistic corpus from bee dance data

Authors: J.J. Paijmans

Journal-ref: Proceedings of the first international congres of bioinformatics, Havana (Cuba), 2004

Subjects: Computation and Language (cs.CL)

[55]  arXiv:cs/0406055 [pdf, ps, other]

Title: Web Services: A Process Algebra Approach

Authors: Andrea Ferrara

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)

[56]  arXiv:cs/0406056 [pdf, ps, other]

Title: P=NP

Authors: Selmer Bringsjord, Joshua Taylor

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[57]  arXiv:cs/0406057 [pdf, ps, other]

Title: Modelling the costs and benefits of Honeynets

Authors: Maximillian Dornseif, Sascha May

Comments: was presented at the "Third Annual Workshop on Economics and Information Security" 2004 (WEIS04)

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)

[58]  arXiv:cs/0406058 [pdf, ps, other]

Title: Proofs of Zero Knowledge

Authors: Matthias Bauer

Comments: 16 pages

Subjects: Cryptography and Security (cs.CR); Databases (cs.DB)

[59]  arXiv:cs/0406059 [pdf, ps, other]

Title: Ermittlung von Verwundbarkeiten mit elektronischen Koedern

Authors: Maximillian Dornseif, Felix C. Gaertner, Thorsten Holz

Comments: Presented at Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2004), in German

Subjects: Cryptography and Security (cs.CR)

[60]  arXiv:cs/0406060 [pdf, ps, other]

Title: Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery

Authors: Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[61]  arXiv:cs/0406061 [pdf, ps, other]

Title: The Complexity of Agreement

Authors: Scott Aaronson

Comments: 27 pages, 4 figures

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

[62]  arXiv:cond-mat/0406152 (cross-list from cond-mat.dis-nn) [pdf, ps, other]

Title: Scalable Percolation Search in Power Law Networks

Authors: Nima Sarshar, P.Oscar Boykin, Vwani P. Roychowdhury

Journal-ref: Best paper award Fourth International Conference on Peer-to-Peer Computing, pp. 2-9, 2004

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Networking and Internet Architecture (cs.NI)

[63]  arXiv:cond-mat/0406404 (cross-list from cond-mat.stat-mech) [pdf, ps, other]

Title: A statistical approach to the traceroute-like exploration of networks: theory and simulations

Authors: Luca Dall'Asta, Ignacio Alvarez-Hamelin, Alain Barrat, Alexei Vazquez, Alessandro Vespignani

Journal-ref: CAAN 2004, LNCS 3405, p. 140 (2005) .

Subjects: Statistical Mechanics (cond-mat.stat-mech); Networking and Internet Architecture (cs.NI)

[64]  arXiv:cond-mat/0406765 (cross-list from cond-mat.dis-nn) [pdf, ps, other]

Title: Competition and adaptation in an Internet evolution model

Authors: M. Angeles Serrano, Marian Boguna, Albert Diaz-Guilera

Comments: Minor content changes and inset of fig.2

Journal-ref: Physical Review Letters 94, 038701 (2005)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Networking and Internet Architecture (cs.NI)

[65]  arXiv:math/0406077 (cross-list from math.ST) [pdf, ps, other]

Title: A tutorial introduction to the minimum description length principle

Authors: Peter Grunwald

Comments: 80 pages 5 figures Report with 2 chapters

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

[66]  arXiv:math/0406094 (cross-list from math.PR) [pdf, ps, other]

Title: Merging costs for the additive Marcus-Lushnikov process, and Union-Find algorithms

Authors: Philippe Chassaing, Regine Marchand

Comments: 28 pages, 1 figure

Subjects: Probability (math.PR); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[67]  arXiv:math/0406221 (cross-list from math.ST) [pdf, ps, other]

Title: Suboptimal behaviour of Bayes and MDL in classification under misspecification

Authors: Peter Grunwald, John Langford

Comments: This is a slightly longer version of our paper at the COLT (Computational Learning Theory) 2004 Conference, containing two extra pages of discussion of the main results

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

[68]  arXiv:math/0406353 (cross-list from math.MG) [pdf, ps, other]

Title: On metric Ramsey-type phenomena

Authors: Yair Bartal, Nathan Linial, Manor Mendel, Assaf Naor

Comments: 67 pages, published version

Journal-ref: Ann. of Math. (2) 162 (2005), no. 2, 643--709

Subjects: Metric Geometry (math.MG); Data Structures and Algorithms (cs.DS)

[69]  arXiv:math/0406416 (cross-list from math.DS) [pdf, ps, other]

Title: Non-computable Julia sets

Authors: Mark Braverman, Michael Yampolsky

Comments: Updated version, to appear in JAMS

Subjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC)

[70]  arXiv:physics/0406023 (cross-list from physics.data-an) [pdf, ps, other]

Title: Maximum Entropy Multivariate Density Estimation: An exact goodness-of-fit approach

Authors: Sabbir Rahman, Mahbub Majumdar

Comments: 9 pages, Latex. Normalisation factor for entropy terms corrected

Subjects: Data Analysis, Statistics and Probability (physics.data-an); Information Theory (cs.IT); Statistics Theory (math.ST)

[71]  arXiv:q-bio/0406015 (cross-list from q-bio.QM) [pdf, ps, other]

Title: Information theory, multivariate dependence, and genetic network inference

Authors: Ilya Nemenman

Comments: 8 pages, 2 figures

Subjects: Quantitative Methods (q-bio.QM); Information Theory (cs.IT); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.data-an); Genomics (q-bio.GN)

[72]  arXiv:quant-ph/0406046 (cross-list from quant-ph) [pdf, ps, other]

Title: The hidden subgroup problem and permutation group theory

Authors: Julia Kempe, Aner Shalev

Comments: 12 pages

Journal-ref: Proc. 16th ACM-SIAM SODA, p. 1118-1125 (2005)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[73]  arXiv:quant-ph/0406119 (cross-list from quant-ph) [pdf, ps, other]

Title: On Quantum Cellular Automata

Authors: Alexander Yu. Vlasov

Comments: LaTeX (amsmath, amssymb, graphicx packages) 17 pages, 22 eps figures; v2: misspelling corrected, +2 figures

Subjects: Quantum Physics (quant-ph); Other Computer Science (cs.OH); Cellular Automata and Lattice Gases (nlin.CG)

[74]  arXiv:quant-ph/0406135 (cross-list from quant-ph) [pdf, ps, other]

Title: A combinatorial approach for studying LOCC transformations of multipartite states

Authors: Sudhir Kumar Singh, Sudebkumar Prasant Pal, Somesh Kumar, R. Srikanth

Comments: To appear in the Journal of Mathematical Physics, 33 pages, 16 figures

Subjects: Quantum Physics (quant-ph); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[75]  arXiv:quant-ph/0406137 (cross-list from quant-ph) [pdf, ps, other]

Title: A possible hypercomputational quantum algorithm

Authors: Andrés Sicard, Mario Vélez, Juan Ospina

Comments: Title changed. Updated to the published version. Oral contribution to Quantum Information and Computation III, part of the SPIE Defense and Security Symposium 2005. 8 pages

Journal-ref: In E. J. Donkor, A. R. Pirich, and H. E. Brandt, editors, "Quantum Information and Computation III", volume 5815 of Proc. of SPIE. SPIE, Bellingham, WA, 2005. p. 219-226

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)