Computer Science

Authors and titles for Jun 2004

[1]  arXiv:cs/0406001 [pdf, ps, other]

Title: Side-Information Coding with Turbo Codes and its Application to Quantum Key Distribution

Authors: Kim-Chi Nguyen, Gilles Van Assche, Nicolas J. Cerf

Comments: 3 pages, submitted to ISITA 2004

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[2]  arXiv:cs/0406002 [pdf, ps, other]

Title: A novel approach to symbolic algebra

Authors: Thomas Fischbacher

Comments: 15 pages

Subjects: Symbolic Computation (cs.SC)

[3]  arXiv:cs/0406003 [pdf, ps, other]

Title: Algorithms for weighted multi-tape automata

Authors: Andre Kempe (1), Franck Guingne (1,2), Florent Nicart (1,2) ((1) Xerox Research Centre Europe, France, (2) Rouen University, France)

Comments: 28 pages, 7 figures, LaTeX (+ .eps)

Subjects: Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS)

[4]  arXiv:cs/0406004 [pdf, ps, other]

Title: Application of Business Intelligence In Banks (Pakistan)

Authors: Muhammad Nadeem, Syed Ata Hussain Jaffri (Szabist)

Comments: 6 Pages

Subjects: Databases (cs.DB)

[5]  arXiv:cs/0406005 [pdf, ps, other]

Title: Microreboot -- A Technique for Cheap Recovery

Authors: George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox

Comments: 14 pages

Journal-ref: Proc. 6th Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, Dec 2004

Subjects: Operating Systems (cs.OS); Distributed, Parallel, and Cluster Computing (cs.DC)

[6]  arXiv:cs/0406006 [pdf, ps, other]

Title: Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas

Authors: Edith Hemaspaandra

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

[7]  arXiv:cs/0406007 [pdf, ps, other]

Title: Parallel Mixed Bayesian Optimization Algorithm: A Scaleup Analysis

Authors: Jiri Ocenasek, Martin Pelikan

Comments: Optimization by Building and Using Probabilistic Models OBUPM-2004

Subjects: Neural and Evolutionary Computing (cs.NE); Distributed, Parallel, and Cluster Computing (cs.DC)

[8]  arXiv:cs/0406008 [pdf, ps, other]

Title: Image compression by rectangular wavelet transform

Authors: Vyacheslav Zavadsky

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

[9]  arXiv:cs/0406009 [pdf, ps, other]

Title: Implementation of Logical Functions in the Game of Life

Authors: J.-P. Rennard

Comments: 17 pages, 28 figures

Journal-ref: Rennard, J.-P. (2002). Implementation of Logical Functions in the Game of Life. In A. Adamatzky (Ed.), Collision-Based Computing (pp. 491-512). London: Springer

Subjects: Computational Complexity (cs.CC)

[10]  arXiv:cs/0406010 [pdf, ps, other]

Title: Another Proof of an Extension of a Curious Identity

Authors: Yidong Sun

Comments: 3 pages

Subjects: Discrete Mathematics (cs.DM)

[11]  arXiv:cs/0406011 [pdf, ps, other]

Title: Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences

Authors: Cosma Rohilla Shalizi, Kristina Lisa Shalizi

Comments: 8 pages, 4 figures

Journal-ref: pp. 504--511 in Max Chickering and Joseph Halpern (eds.), _Uncertainty in Artificial Intelligence: Proceedings of the Twentieth Conference_ (2004)

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Chaotic Dynamics (nlin.CD); Data Analysis, Statistics and Probability (physics.data-an)

[12]  arXiv:cs/0406012 [pdf, ps, other]

Title: Secure Prolog-Based Mobile Code

Authors: Seng Wai Loke, Andrew Davison

Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 3, 2001

Journal-ref: Theory and Practice of Logic Programming, vol. 1, no. 3, 2001

Subjects: Programming Languages (cs.PL)

[13]  arXiv:cs/0406013 [pdf, ps, other]

Title: Optimization of Bound Disjunctive Queries with Constraints

Authors: G. Greco, S. Greco, I. Trubtsyna, E. Zumpano

Comments: 35 pages

Subjects: Logic in Computer Science (cs.LO)

[14]  arXiv:cs/0406014 [pdf, ps, other]

Title: O(1) Reversible Tree Navigation Without Cycles

Authors: Richard A. O'Keefe

Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 5, 2001

Journal-ref: Theory and Practice of Logic Programming, vol. 1, no. 5, 2001

Subjects: Programming Languages (cs.PL)

[15]  arXiv:cs/0406015 [pdf, ps, other]

Title: Zipf's law and the creation of musical context

Authors: Damian H. Zanette

Subjects: Computation and Language (cs.CL); Statistical Mechanics (cond-mat.stat-mech)

[16]  arXiv:cs/0406016 [pdf, ps, other]

Title: Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams

Authors: Christoph Koch, Stefanie Scherzinger, Nicole Schweikardt, Bernhard Stegmaier

Comments: 14 pages, 4 figures, to appear in Proc. 30th VLDB 2004, Toronto, Canada. Extended version

Subjects: Databases (cs.DB)

[17]  arXiv:cs/0406017 [pdf, ps, other]

Title: Using Self-Organising Mappings to Learn the Structure of Data Manifolds

Authors: Stephen Luttrell

Comments: 26 pages, 19 figures, version 1 translated into LaTeX

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[18]  arXiv:cs/0406018 [pdf, ps, other]

Title: Effects of wireless computing technology

Authors: A. A. Eremin

Comments: HTML, also available at this http URL

Subjects: Other Computer Science (cs.OH)

[19]  arXiv:cs/0406019 [pdf, ps, other]

Title: Providing Service Guarantees in High-Speed Switching Systems with Feedback Output Queuing

Authors: Victor Firoiu, Xiaohui Zhang, Emre Gunduzhan, Nicolas Christin

Comments: 30 pages, 9 figures. Shorter preliminary version appeared in Proceedings of Hot Interconnects X, Stanford CA, August 2002

Subjects: Networking and Internet Architecture (cs.NI)

[20]  arXiv:cs/0406020 [pdf, ps, other]

Title: Algorithms for Drawing Media

Authors: David Eppstein

Comments: 13 pages, 11 figures

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

[21]  arXiv:cs/0406021 [pdf, ps, other]

Title: A direct formulation for sparse PCA using semidefinite programming

Authors: Alexandre d'Aspremont, Laurent El Ghaoui, Michael I. Jordan, Gert R. G. Lanckriet

Comments: Final version, to appear in SIAM review

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

[22]  arXiv:cs/0406022 [pdf, ps, other]

Title: Uncovering the epistemological and ontological assumptions of software designers

Authors: David King, Chris Kimble

Comments: 9 pages

Journal-ref: Proceedings 9e colloque de l'AIM, Evry, France, May 2004

Subjects: Software Engineering (cs.SE); General Literature (cs.GL)

[23]  arXiv:cs/0406023 [pdf, ps, other]

Title: Notions of Equivalence in Software Design

Authors: David King, Chris Kimble

Comments: 8 pages

Journal-ref: Proceedings 9e colloque de l'AIM, Evry, France, May 2004

Subjects: Software Engineering (cs.SE)

[24]  arXiv:cs/0406024 [pdf, ps, other]

Title: Layout of Graphs with Bounded Tree-Width

Authors: Vida Dujmovic, Pat Morin, David R. Wood

Comments: This is a revised version of a journal paper submitted in October 2002. This paper incorporates the following conference papers: (1) Dujmovic', Morin & Wood. Path-width and three-dimensional straight-line grid drawings of graphs (GD'02), LNCS 2528:42-53, Springer, 2002. (2) Wood. Queue layouts, tree-width, and three-dimensional graph drawing (FSTTCS'02), LNCS 2556:348--359, Springer, 2002. (3) Dujmovic' & Wood. Tree-partitions of $k$-trees with applications in graph layout (WG '03), LNCS 2880:205-217, 2003

Journal-ref: SIAM J. Computing 34.3:553-579, 2005

Subjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG)

[25]  arXiv:cs/0406025 [pdf, ps, other]

Title: Directional Consistency for Continuous Numerical Constraints

Authors: Frederic Goualard, Laurent Granvilliers

Comments: 16 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Mathematical Software (cs.MS)

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