589 search results - page 27 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
102
Voted
ICPR
2002
IEEE
16 years 3 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...
103
Voted
BIRD
2008
Springer
15 years 3 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...
129
click to vote
PRICAI
2004
Springer
15 years 7 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 8 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 ...
128
Voted
KI
2007
Springer
15 years 8 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 ...