789 search results - page 117 / 158 » On Theory Revision with Queries |
AICOM
2010
15 years 25 days ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
106
click to vote
MTA
2010
14 years 11 months ago
2010
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
115
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In its core, the Semantic Web is about the creation, collection and interlinking of metadata on which agents can perform tasks for human users. While many tools and appro...
116
click to vote
ICIP
1998
IEEE
16 years 2 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
107
click to vote
PODS
2008
ACM
16 years 25 days ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...