725 search results - page 46 / 145 » Smoothed Analysis of Algorithms and Heuristics |
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...
CMS
2010
14 years 10 months ago
2010
While conventional malware detection approaches increasingly fail, modern heuristic strategies often perform dynamically, which is not possible in many applications due to related ...
SSIAI
2002
IEEE
15 years 2 months ago
2002
IEEE
Point matching is the task of finding a set of correspondences between two sets of points under some geometric transformation. A local search algorithm for point matching is pres...
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
Robust regression techniques are used today in many computer vision algorithms. Chen and Meer recently presented a new robust regression technique named the projection based M-est...
103
click to vote
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...