CoRR, April 2000

• Marcus Hutter:
  A Theory of Universal Artificial Intelligence based on Algorithmic Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0004001]
• Krzysztof R. Apt, Andrea Schaerf:
  Programming in Alma-0, or Imperative and Declarative Programming Reconciled. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0004002]
• David Eppstein:
  Searching for Spaceships. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0004003]
• Ronald F. Boisvert:
  Mathematical Software: Past, Present, and Future. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MS/0004004]
• Ke Xu, Wei Li:
  Exact Phase Transitions in Random Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0004005]
• Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa:
  On Redundancy Elimination Tolerant Scheduling Rules. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0004006]
• Markus Frick, Martin Grohe:
  Deciding first-order properties of locally tree-decomposable structures. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0004007]
• Eric Breck, John D. Burger, Lisa Ferro, Lynette Hirschman, David House, Marc Light, Inderjeet Mani:
  How to Evaluate your Question Answering System Every Day and Still Get Real Work Done. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0004008]
• David B. Benson:
  Separating the complexity classes NL and NP. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0004009]
• Lex Weaver:
  Design and Evaluation of Mechanisms for a Multicomputer Object Store. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0004010]
• Burkhard D. Steinmacher-Burow:
  Task Frames. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0004011]
• Emmanuel Etiévent, Frank Lebourgeois, Jean-Michel Jolion:
  Assisted Video Sequences Indexing : Motion Analysis Based on Interest Points. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0004012]
• Lex Weaver, Andrew Lynes:
  Sorting Integers on the AP1000. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0004013]
• Mark Baker:
  Cluster Computing White Paper. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0004014]
• Christian Bauer, Alexander Frink, Richard Kreckel:
  Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0004015]
• Tony Berber Sardinha:
  Looking at discourse in a corpus: The role of lexical cohesion. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0004016]
• Massimo Di Pierro:
  Matrix Distributed Processing: A set of C++ Tools for implementing generic lattice computations on parallel systems. , (informal publication)
  Electronic Edition (link) BibTeX [hep-lat/0004007]
• Gregory J. Chaitin:
  A Century of Controvery Over the Foundations of Mathematics II. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.CD/0004007]
• Naftali Tishby, Fernando C. Pereira, William Bialek:
  The information bottleneck method. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0004057]