4066 search results - page 222 / 814 » Almost Complete Sets |
227
click to vote
JSAI
2007
Springer
16 years 21 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
170
click to vote
SARA
2007
Springer
16 years 20 days ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
148
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
199
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
List question answering (QA) offers a unique challenge in effectively and efficiently locating a complete set of distinct answers from huge corpora or the Web. In TREC-12, the med...
161
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...