789 search results - page 121 / 158 » On Theory Revision with Queries |
209
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
123
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
92
Voted
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
102
click to vote
ICDT
2003
ACM
15 years 5 months ago
2003
ACM
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
100
Voted
LOGCOM
2000
15 years 14 days ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...