3333 search results - page 183 / 667 » Abstract Proof Search |
126
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
129
Voted
AUSAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Methods of adaptive constraint satisfaction have recently become of interest to overcome the limitations imposed on “black-box” search algorithms by the no free lunch...
165
click to vote
ECIR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we show how approximate matrix factorisations can be used to organise document summaries returned by a search engine into meaningful thematic categories. We...
123
Voted
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...
156
click to vote
TODS
2002
15 years 3 months ago
2002
Metric access methods (MAMs), such as the M-tree, are powerful index structures for supporting ty queries on metric spaces, which represent a common abstraction for those searchin...