747 search results - page 73 / 150 » Consequence Relations In DRT |
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
TCC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. One of the main open problems in secret sharing is the characterization of the access structures of ideal secret sharing schemes. As a consequence of the results by Brick...
VLDB
2000
ACM
13 years 11 months ago
2000
ACM
Approximate query answering systems provide very fast alternatives to OLAP systems when applications are tolerant to small errors in query answers. Current sampling-based approach...
AIML
2004
13 years 9 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Object detection in unconstrained images is an important image understanding problem with many potential applications. There has been little success in creating a single algorithm...