6438 search results - page 28 / 1288 » A Parameterised Search System |
AAAI
2006
13 years 10 months ago
2006
OntoSearch, a full-text search engine that exploits ontological knowledge for document retrieval, is presented in this paper. Different from other ontology based search engines, O...
TABLEAUX
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
USS
2010
13 years 6 months ago
2010
Search engines not only assist normal users, but also provide information that hackers and other malicious entities can exploit in their nefarious activities. With carefully craft...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a usage consultation tool, based on Internet searching, for language learners. When a user enters a string of words for which he wants to find usages, the system sends ...
CADE
1998
Springer
14 years 25 days ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...