589 search results - page 81 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
KDD
2008
ACM
16 years 5 days ago
2008
ACM
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting ...
111
click to vote
WEBI
2010
Springer
14 years 9 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
An expert finding is a very common task among enterprise search activities, while its usual retrieval performance is far from the quality of the Web search. Query modeling helps t...
IJCV
2000
14 years 11 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...