2145 search results - page 304 / 429 » Answering Queries Using Views |
144
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
100
Voted
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this article we focus on the presentation of the inner structure of the database for the Content-Based Image Retrieval (CBIR) system containing house images. The part devoted t...
138
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Applications such as parallel computing, online games, and content distribution networks need to run on a set of resources with particular network connection characteristics to ge...
127
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
182
Voted
RR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...