CoRR, April 2000

- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-AI-0004001
- ask others
Marcus Hutter: A Theory of Universal Artificial Intelligence based on Algorithmic Complexity.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0004002
- ask others
Krzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-AI-0004003
- ask others
David Eppstein: Searching for Spaceships.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-MS-0004004
- ask others
Ronald F. Boisvert: Mathematical Software: Past, Present, and Future.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-AI-0004005
- ask others
Ke Xu, Wei Li: Exact Phase Transitions in Random Constraint Satisfaction Problems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-0004006
- ask others
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: On Redundancy Elimination Tolerant Scheduling Rules.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-DS-0004007
- ask others
Markus Frick, Martin Grohe: Deciding first-order properties of locally tree-decomposable structures.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-CL-0004008
- ask others
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.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-CC-0004009
- ask others
David B. Benson: Separating the complexity classes NL and NP.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-DC-0004010
- ask others
Lex Weaver: Design and Evaluation of Mechanisms for a Multicomputer Object Store.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-0004011
- ask others
Burkhard D. Steinmacher-Burow: Task Frames.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-CV-0004012
- ask others
Emmanuel Etiévent, Frank Lebourgeois, Jean-Michel Jolion: Assisted Video Sequences Indexing : Motion Analysis Based on Interest Points.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-DC-0004013
- ask others
Lex Weaver, Andrew Lynes: Sorting Integers on the AP1000.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-DC-0004014
- ask others
Mark Baker: Cluster Computing White Paper.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-SC-0004015
- ask others
Christian Bauer, Alexander Frink, Richard Kreckel: Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-CL-0004016
- ask others
Tony Berber Sardinha: Looking at discourse in a corpus: The role of lexical cohesion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/hep-lat-0004007
- ask others
Massimo Di Pierro: Matrix Distributed Processing: A set of C++ Tools for implementing generic lattice computations on parallel systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/nlin-CD-0004007
- ask others
Gregory J. Chaitin: A Century of Controvery Over the Foundations of Mathematics II.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/physics-0004057
- ask others
Naftali Tishby, Fernando C. Pereira, William Bialek: The information bottleneck method.