589 search results - page 50 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
100
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
In this paper, we propose a component-based discriminative approach for face alignment without requiring initialization1 . Unlike many approaches which locally optimize in a small ...
114
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
118
click to vote
AAAI
2000
15 years 3 months ago
2000
A major difficulty in evaluating incomplete local search style algorithms for constraint satisfaction problems is the need for a source of hard problem instances that are guarante...
117
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, a novel discrete differential evolution (DDE) algorithm is presented to solve the permutation flowhop scheduling problem with the makespan criterion. The DDE algori...
104
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
Detecting the time of occurrence of an acoustic event (for instance, a cheer) embedded in a longer soundtrack is useful and important for applications such as search and retrieval...