948 search results - page 91 / 190 » The Query Answering System PRODICOS |
CADE
2007
Springer
14 years 10 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...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Duplicate and near-duplicate digital image matching is beneficial for image search in terms of collection management, digital content protection, and search efficiency. In this ...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Structured peer-to-peer (P2P) overlays have been successfully employed in many applications to locate content. However, they have been less effective in handling massive amounts o...
WISE
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper proposes to exploit content and usage information to rearrange an inverted index for a full-text IR system. The idea is to merge the entries of two frequently ...