152 search results - page 13 / 31 » Efficiently Exploiting Dependencies in Local Search for SAT |
DEXA
2006
Springer
14 years 11 months ago
2006
Springer
Indexing high-dimensional data for efficient nearest-neighbor searches poses interesting research challenges. It is well known that when data dimension is high, the search time can...
AI
2008
Springer
14 years 9 months ago
2008
Springer
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
The eyes are the most important facial landmarks on human face. The accuracy of face normalization, which is critical to the performance of the following face analysis steps, depe...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
In recent decades, many meta-heuristics, including genetic algorithm (GA), ant colony optimization (ACO) and various local search (LS) procedures have been developed for solving a...
IPMI
2009
Springer
15 years 10 months ago
2009
Springer
Recently, marginal space learning (MSL) was proposed as a generic approach for automatic detection of 3D anatomical structures in many medical imaging modalities [1]. To accurately...