589 search results - page 32 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
Personalized search systems have evolved to utilize heterogeneous features including document hyperlinks, category labels in various taxonomies and social tags in addition to free...
APPROX
2008
Springer
13 years 10 months ago
2008
Springer
We study the problem of local search on a graph. Given a real-valued black-box function f on the graph's vertices, this is the problem of determining a local minimum of f--a v...
INFOSCALE
2007
ACM
13 years 10 months ago
2007
ACM
Searching for non-text data (e.g., images) is mostly done by means of metadata annotations or by extracting the text close to the data. However, supporting real content-based audi...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we proposed Fittest Individual Refinement (FIR), a crossover based local search method for Differential Evolution (DE). The FIR scheme accelerates DE by enhancing...
SIGIR
2010
ACM
14 years 12 days ago
2010
ACM
We build a probabilistic model to identify implicit local intent queries, and leverage user’s physical location to improve Web search results for these queries. Evaluation on co...