CoRR, April 2004

• Garrison W. Greenwood:
  On the Practicality of Intrinsic Reconfiguration As a Fault Recovery Method in Analog Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PF/0404001]
• Kristina Lerman, Aram Galstyan, Tad Hogg:
  Mathematical Analysis of Multi-Agent Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/0404002]
• Elisa Bertino, Barbara Catania, Roberta Gori:
  Enhancing the expressive power of the U-Datalog language. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0404003]
• Liam Wagner:
  Dealing With Curious Players in Secure Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0404004]
• Maximillian Dornseif:
  Government mandated blocking of foreign Web content. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0404005]
• Chung-chieh Shan:
  Delimited continuations in natural language: quantification and polarity sensitivity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404006]
• Chung-chieh Shan:
  Polarity sensitivity and evaluation order in type-logical grammar. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404007]
• Jean-Guillaume Dumas:
  Efficient dot product over word-size finite fields. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0404008]
• Mark-Jan Nederhof, Giorgio Satta:
  Tabular Parsing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404009]
• Anton B. Teslyuk, Serge A. Krashakov, Lev N. Shchur:
  On the universality of rank distributions of website popularity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0404010]
• Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro:
  Parametric external predicates for the DLV System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0404011]
• Francesco Calimeri, Nicola Leone:
  Toward the Implementation of Functions in the DLV System (Preliminary Technical Report). , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0404012]
• Kevin Lai, Bernardo A. Huberman, Leslie R. Fine:
  Tycoon: A Distributed Market-based Resource Allocation System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0404013]
• Timm M. Steinbeck:
  A Modular and Fault-Tolerant Data Transport Framework. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0404014]
• Ahmet A. Husainov:
  The study of distributed computing algorithms by multithread applications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0404015]
• T. W. Tang, Andrew Allison, Derek Abbott:
  Parrondo's games with chaotic switching. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0404016]
• Matthew J. Berryman, Wei-Li Khoo, Hiep Nguyen, Erin O'Neill, Andrew Allison, Derek Abbott:
  Exploring tradeoffs in pleiotropy and redundancy using evolutionary computing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0404017]
• Jiyou Jia:
  NLML - a Markup Language to Describe the Unlimited English Grammar. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404018]
• Matthew J. Berryman, Andrew Allison, Derek Abbott:
  Optimizing genetic algorithm strategies for evolving networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0404019]
• Gopalan Nadathur:
  A treatment of higher-order features in logic programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0404020]
• Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel:
  Computational Universality in Symbolic Dynamical Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0404021]
• Artur Rataj:
  An Algorithm for Transforming Color Images into Tactile Graphics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GR/0404022]
• Giorgi Japaridze:
  Propositional computability logic I. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0404023]
• Giorgi Japaridze:
  Computability Logic: a formal theory of interaction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0404024]
• Atsushi Fujii, Makoto Iwayama, Noriko Kando:
  Test Collections for Patent-to-Patent Retrieval and Patent Map Generation in NTCIR-4 Workshop. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404025]
• Darran Nathan, Eva Rosdiana, Chua Beng Koon:
  DAB Content Annotation and Receiver Hardware Control with XML. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GL/0404026]
• Rajkumar Buyya, Srikumar Venugopal:
  The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0404027]
• Saju Jude Dominic, G. Sajith:
  The Random Buffer Tree : A Randomized Technique for I/O-efficient Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0404028]
• Amitabha Bagchi, Ankur Bhargava, Amitabh Chaudhary, David Eppstein, Christian Scheideler:
  The Effect of Faults on Network Expansion. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0404029]
• Andreas de Vries:
  XML framework for concept description and knowledge representation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0404030]
• David R. Wood:
  Characterisations of Intersection Graphs by Vertex Orderings. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0404031]
• David J. Finton:
  When Do Differences Matter? On-Line Feature Extraction Through Cognitive Economy. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0404032]
• Saju Jude Dominic, G. Sajith:
  The Persistent Buffer Tree : An I/O-efficient Index for Temporal Data. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GL/0404033]
• Maarten H. van Emden, Belaid Moa:
  Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0404034]
• Andreas Mielke:
  Elements for Response Time Statistics in ERP Transaction Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PF/0404035]
• Sándor P. Fekete, Rolf Klein, Andreas Nüchter:
  Online Searching with an Autonomous Robot. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/0404036]
• Gaoyan Xie, Zhe Dang:
  Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0404037]
• D. B. Powell:
  2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0404038]
• Alexei Kaltchenko:
  Algorithms for Estimating Information Distance with Application to Bioinformatics and Linguistics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0404039]
• Nicolas Christin, Jens Grossklags, John Chuang:
  Near Rationality and Competitive Equilibria in Networked Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0404040]
• Jiyou Jia:
  NLOMJ - Natural Language Object Modal in Java. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404041]
• W. Ali, Raul J. Mondragón, F. Alavi:
  Extraction of topological features from communication network topological patterns using self-organizing feature maps. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0404042]
• Neil J. Gunther:
  Benchmarking Blunders and Things That Go Bump in the Night. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PF/0404043]
• Xiaoyang Gu:
  A note on dimensions of polynomial size circuits. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0404044]
• Bayle Shanks:
  Speculation on graph computation architectures and computing via synchronization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0404045]
• Sanjay Rana, Michael Batty:
  Visualising the structure of architectural open spaces based on shape analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0404046]
• Gianluca Argentini:
  Using matrices in post-processing phase of CFD simulations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NA/0404047]
• Roberto Giacobazzi, Francesco Ranzato:
  Incompleteness of States w.r.t. Traces in Model Checking. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0404048]
• Stergos D. Afantenos, Irene Doura, Eleni Kapellou, Vangelis Karkaletsis:
  Exploiting Cross-Document Relations for Multi-document Evolving Summarization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0404049]
• Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
  A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0404050]
• Jorge Lobo, Gisela Mendez, Stuart R. Taylor:
  Knowledge And The Action Description Language A. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0404051]
• Keith L. Clark, Peter J. Robinson, Richard Hagen:
  Multi-Threading And Message Communication In Qu-Prolog. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0404052]
• Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
  Constraint Logic Programming with Hereditary Harrop Formula. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0404053]
• Matthias Bauer:
  New Covert Channels in HTTP. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0404054]
• Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
  Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0404055]
• Benoît Valiron:
  Quantum typing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0404056]
• Jan Poland, Marcus Hutter:
  Convergence of Discrete MDL for Sequential Prediction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0404057]
• Adam Lipowski, Dorota Lipowska:
  Travelling Salesman Problem with a Center. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0404424]
• D. Garber, S. Kaplan, Mina Teicher, Boaz Tsaban, Uzi Vishne:
  Probabilistic Solutions of Equations in the Braid Group. , (informal publication)
  Electronic Edition (link) BibTeX [math.GR/0404076]
• Carlos Gershenson, Francis Heylighen:
  Protocol Requirements for Self-organizing Artifacts: Towards an Ambient Intelligence. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0404004]
• David Wolpert:
  Metrics for more than two points at once. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0404032]
• S. N. Dorogovtsev, J. F. F. Mendes:
  The shortest path to complex networks. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0404593]