2145 search results - page 304 / 429 » Answering Queries Using Views |
174
click to vote
CADE
2007
Springer
16 years 6 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...
132
click to vote
CIMCA
2008
IEEE
16 years 25 days 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...
170
click to vote
IPPS
2007
IEEE
16 years 20 days 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...
165
click to vote
KI
2007
Springer
16 years 15 days 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...
235
click to vote
RR
2007
Springer
16 years 14 days 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...