589 search results - page 27 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper describes a method for quickly and robustly localizing the iris and pupil boundaries of a human eye in close-up images. Such an algorithm can be critical for iris ident...
BIRD
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a SVM-based local search (SVM-LS) approach to the problem of gene selection and classification of microarray data. The proposed approach is highlighte...
PRICAI
2004
Springer
14 years 23 days ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We present a path planning algorithm for a polyhedral robot with six degrees of freedom (6DOF) and a static obstacle. The planner consists of a dual-tree RRT algorithm ...
KI
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a novel stochastic local search algorithm for the vertex cover problem. Compared to current exhaustive search techniques, our algorithm achieves excellent performance ...