default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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, Carlo 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 H. Wolpert:
On the computational capabilities of physical systems part I: the impossibility of infallible computation. - David H. 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
