589 search results - page 44 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Various multi–objective evolutionary algorithms (MOEAs) have obtained promising results on various numerical multi– objective optimization problems. The combination with gradi...
ACL
2006
15 years 1 months ago
2006
We describe a generic framework for integrating various stochastic models of discourse coherence in a manner that takes advantage of their individual strengths. An integral part o...
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
Digital images of natural scenes are usually characterized by strong spatial correlation between adjacent pixels which has been successfully exploited in the coding of still and m...
110
click to vote
AUSAI
2003
Springer
15 years 5 months ago
2003
Springer
The distributed constraint satisfaction problem (CSP) is a general formalisation used to represent problems in distributed multiagent systems. To deal with realistic problems, mult...
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
Cellular Genetic Algorithms (cGAs) are a subclass of Genetic Algorithms (GAs) in which the population diversity and exploration are enhanced thanks to the existence of small overla...