219 search results - page 30 / 44 » Intensional Query Answering: An Application of Partial Evalu... |
111
click to vote
CADE
2007
Springer
16 years 2 days 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...
151
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
FOIS
2008
15 years 1 months ago
2008
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...
WWW
2005
ACM
16 years 13 days ago
2005
ACM
In an environment of distributed text collections, the first step in the information retrieval process is to identify which of all available collections are more relevant to a giv...