3333 search results - page 126 / 667 » Abstract Proof Search |
109
Voted
AAAI
1992
15 years 4 months ago
1992
est case using an abstraction hierarchy in problem-solving can yield an exponential speed-up in search e ciency. Such a speed-up is predicted by various analytical models develope...
116
Voted
GCB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The biomedical literature grows at a tremendous rate, so that finding the relevant literature is becoming more and more difficult. To address this problem we introduce ...
150
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Nearest Neighbour search is a widely used technique in Pattern Recognition. In order to speed up the search many indexing techniques have been proposed. However, most of...
255
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Inverted files have been very successful for document retrieval, but sponsored search is different. Inverted files are designed to find documents that match the query (a...
161
Voted
SPIRE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a user study that evaluated the effectiveness of an aggregated search interface in the context of non-navigational search tasks. An experimental syst...