192 search results - page 12 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
73
Voted
DEXA
2000
Springer
15 years 1 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
156
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
75
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. Context models ...
87
Voted
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
Oracle Parallel Server (OPS) is a shared disk RDBMS. We present a high level overview of the main architectural issues of OPS and their evolution throughout the releases of the Or...