3167 search results - page 150 / 634 » Blog search engines |
LICS
2002
IEEE
14 years 2 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
KER
2007
13 years 9 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
While current search engines serve known-item search such as homepage finding very well, they generally cannot support exploratory search effectively. In exploratory search, user...
WEBI
2007
Springer
14 years 3 months ago
2007
Springer
— We consider the problem of finding the relevant named entities in response to a search query over a given text corpus. Entity search can readily be used to augment conventiona...
ENTER
2010
Springer
14 years 4 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...