CoRR, May 2000

• Liang Chen, Naoyuki Tokuda:
  Robustness of Regional Matching Scheme over Global Matching Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0005001]
• Jan Heering:
  Application Software, Domain-Specific Languages, and Language Design Assistants. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0005002]
• Joseph Y. Halpern:
  CoRR: A Computing Research Repository. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DL/0005003]
• Joseph Y. Halpern:
  A response to the commentaries on CoRR. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DL/0005004]
• Davis King, Jarek Rossignac, Andrzej Szymczak:
  Connectivity Compression for Irregular Quadrilateral Meshes. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GR/0005005]
• Ted Pedersen:
  A Simple Approach to Building Ensembles of Naive Bayesian Classifiers for Word Sense Disambiguation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005006]
• Rob Kling, Geoffrey W. McKim, Joanna Fortuna, Adam King:
  Scientific Collaboratories as Socio-Technical Interaction Networks: A Theoretical Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0005007]
• Krzysztof R. Apt:
  A Denotational Semantics for First-Order Logic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0005008]
• Stephan Tobies:
  PSPACE Reasoning for Graded Modal Logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005009]
• Patrik Simons:
  Extending and Implementing the Stable Model Semantics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005010]
• Ke Xu, Wei Li:
  An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0005011]
• Ian Horrocks, Stephan Tobies:
  Reasoning with Axioms: Theory and Pratice. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005012]
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Very Expressive Description Logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005013]
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Expressive Description Logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005014]
• Erik F. Tjong Kim Sang:
  Noun Phrase Recognition by System Combination. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005015]
• Norbert Bröker:
  Improving Testsuites via Instrumentation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005016]
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Reasoning with Individuals for the Description Logic SHIQ. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005017]
• Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
  On Modular Termination Proofs of General Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0005018]
• Diego Mollá Aliod, Michael Hess:
  On the Scalability of the Answer Extraction System "ExtrAns". , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005019]
• Dragomir R. Radev, Hongyan Jing, Malgorzata Budzikowska:
  Centroid-based summarization of multiple documents: sentence extraction utility-based evaluation, and user studies. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005020]
• A. Guergachi:
  Modeling the Uncertainty in Complex Engineering Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0005021]
• Davide Rocchesso:
  Fractionally-addressed delay lines. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SD/0005022]
• Alessandro Lonardo, Emanuele Panizzi, Benedetto Proietti:
  C++ programming language for an abstract massively parallel SIMD architecture. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0005023]
• Ke Xu, Wei Li:
  The SAT Phase Transition. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0005024]
• Markus Walther:
  Finite-State Reduplication in One-Level Prosodic Morphology. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005025]
• Igor Sobrado:
  A One-Time Pad based Cipher for Data Protection in Distributed Environments. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0005026]
• David R. Wolf:
  A Bayesian Reflection on Surfaces. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0005027]
• Dimitrios Skraparlis:
  A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1). , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0005028]
• Dragomir R. Radev, John M. Prager, Valerie Samn:
  Ranking suspected answers to natural language questions using predictive annotation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0005029]
• Joseph Y. Halpern:
  Axiomatizing Causal Reasoning. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0005030]
• Joseph Y. Halpern:
  Conditional Plausibility Measures and Bayesian Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0005031]
• Gabriel Istrate:
  Computational Complexity and Phase Transitions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0005032]
• Emanuele Panizzi, Bernardo Pastorelli:
  Multimethods and separate static typechecking in a language with C++-like object model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0005033]
• M. Maris, Davide Maino, C. Burigana, Fabio Pasian:
  Data Streams from the Low Frequency Instrument On-Board the Planck Satellite: Statistical Analysis and Compression Efficiency. , (informal publication)
  Electronic Edition (link) BibTeX [astro-ph/0005101]
• James Allen Fill, Svante Janson:
  Smoothness and decay properties of the limiting Quicksort density function. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0005235]
• James Allen Fill, Svante Janson:
  A characterization of the set of fixed points of the Quicksort transformation. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0005236]
• Luc Devroye, James Allen Fill, Ralph Neininger:
  Perfect simulation from the Quicksort limit distribution. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0005237]
• David Wolpert:
  On the computational capabilities of physical systems part I: the impossibility of infallible computation. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0005058]
• David Wolpert:
  On the computational capabilities of physical systems part II: relationship with conventional computer science. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0005059]
• Qiong Gao, Ming Li, Paul M. B. Vitányi:
  Applying MDL to Learning Best Model Granularity. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0005062]
• Christoph Adami, Charles Ofria, Travis C. Collier:
  Evolution of Biological Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0005074]
• Ashwin Nayak, Amnon Ta-Shma, David Zuckerman:
  Interaction in Quantum Communication Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0005106]