33 search results - page 3 / 7 » Algorithms for Propositional KB Approximation |
106
Voted
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
We present a new image compression technique called DjVu" that is speci cally geared towards the compression of scanned documents in color at high resolution. With DjVu, a ma...
104
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
120
Voted
ICDE
2010
IEEE
16 years 10 days ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
COCO
2003
Springer
15 years 5 months ago
2003
Springer
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov comple...
83
Voted
AAAI
1994
15 years 1 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...