589 search results - page 27 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ICPR
2002
IEEE
16 years 26 days 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...
89
Voted
BIRD
2008
Springer
15 years 1 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...
109
click to vote
PRICAI
2004
Springer
15 years 5 months 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
15 years 5 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 ...
104
click to vote
KI
2007
Springer
15 years 6 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 ...