CoRR, May 2000

• Liang Chen, Naoyuki Tokuda:
  Robustness of Regional Matching Scheme over Global Matching Scheme.
  
• Jan Heering:
  Application Software, Domain-Specific Languages, and Language Design Assistants.
  
• Joseph Y. Halpern:
  CoRR: A Computing Research Repository.
  
• Joseph Y. Halpern:
  A response to the commentaries on CoRR.
  
• Davis King, Jarek Rossignac, Andrzej Szymczak:
  Connectivity Compression for Irregular Quadrilateral Meshes.
  
• Ted Pedersen:
  A Simple Approach to Building Ensembles of Naive Bayesian Classifiers for Word Sense Disambiguation.
  
• Rob Kling, Geoffrey W. McKim, Joanna Fortuna, Adam King:
  Scientific Collaboratories as Socio-Technical Interaction Networks: A Theoretical Approach.
  
• Krzysztof R. Apt:
  A Denotational Semantics for First-Order Logic.
  
• Stephan Tobies:
  PSPACE Reasoning for Graded Modal Logics.
  
• Patrik Simons:
  Extending and Implementing the Stable Model Semantics.
  
• Ke Xu, Wei Li:
  An Average Analysis of Backtracking on Random Constraint Satisfaction Problems.
  
• Ian Horrocks, Stephan Tobies:
  Reasoning with Axioms: Theory and Pratice.
  
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Very Expressive Description Logics.
  
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Practical Reasoning for Expressive Description Logics.
  
• Erik F. Tjong Kim Sang:
  Noun Phrase Recognition by System Combination.
  
• Norbert Bröker:
  Improving Testsuites via Instrumentation.
  
• Ian Horrocks, Ulrike Sattler, Stephan Tobies:
  Reasoning with Individuals for the Description Logic SHIQ.
  
• Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
  On Modular Termination Proofs of General Logic Programs.
  
• Diego Mollá Aliod, Michael Hess:
  On the Scalability of the Answer Extraction System "ExtrAns".
  
• Dragomir R. Radev, Hongyan Jing, Malgorzata Budzikowska:
  Centroid-based summarization of multiple documents: sentence extraction utility-based evaluation, and user studies.
  
• A. Guergachi:
  Modeling the Uncertainty in Complex Engineering Systems.
  
• Davide Rocchesso:
  Fractionally-addressed delay lines.
  
• Alessandro Lonardo, Emanuele Panizzi, Benedetto Proietti:
  C++ programming language for an abstract massively parallel SIMD architecture.
  
• Ke Xu, Wei Li:
  The SAT Phase Transition.
  
• Markus Walther:
  Finite-State Reduplication in One-Level Prosodic Morphology.
  
• Igor Sobrado:
  A One-Time Pad based Cipher for Data Protection in Distributed Environments.
  
• David R. Wolf:
  A Bayesian Reflection on Surfaces.
  
• Dimitrios Skraparlis:
  A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1).
  
• Dragomir R. Radev, John M. Prager, Valerie Samn:
  Ranking suspected answers to natural language questions using predictive annotation.
  
• Joseph Y. Halpern:
  Axiomatizing Causal Reasoning.
  
• Joseph Y. Halpern:
  Conditional Plausibility Measures and Bayesian Networks.
  
• Gabriel Istrate:
  Computational Complexity and Phase Transitions.
  
• Emanuele Panizzi, Bernardo Pastorelli:
  Multimethods and separate static typechecking in a language with C++-like object model.
  
• 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.
  
• James Allen Fill, Svante Janson:
  Smoothness and decay properties of the limiting Quicksort density function.
  
• James Allen Fill, Svante Janson:
  A characterization of the set of fixed points of the Quicksort transformation.
  
• Luc Devroye, James Allen Fill, Ralph Neininger:
  Perfect simulation from the Quicksort limit distribution.
  
• David Wolpert:
  On the computational capabilities of physical systems part I: the impossibility of infallible computation.
  
• David Wolpert:
  On the computational capabilities of physical systems part II: relationship with conventional computer science.
  
• Qiong Gao, Ming Li, Paul M. B. Vitányi:
  Applying MDL to Learning Best Model Granularity.
  
• Christoph Adami, Charles Ofria, Travis C. Collier:
  Evolution of Biological Complexity.
  
• Ashwin Nayak, Amnon Ta-Shma, David Zuckerman:
  Interaction in Quantum Communication Complexity.
  

Last update Thu May 23 18:31:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page