589 search results - page 39 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
PR
2008
14 years 11 months ago
2008
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...
CEC
2010
IEEE
15 years 27 days ago
2010
IEEE
In this paper, we present a memetic algorithm with novel local optimizer hybridization strategy for constrained optimization. The developed MA consists of multiple cycles. In each ...
IJCAI
1993
15 years 1 months ago
1993
We introduce a new approach to GA (Genetic Algorithms) based problem solving. Earlier GAs did not contain local search (i.e. hill climbing) mechanisms, which led to optimization d...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
We present a novel language-model-based approach to reranking an initially retrieved list so as to improve precision at top ranks. Our model integrates whole-document information ...
PPSN
2000
Springer
15 years 3 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...