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)