72 search results - page 15 / 15 » Conflict Analysis in Search Algorithms for Satisfiability |
SIAMCOMP
2002
13 years 9 months ago
2002
We characterize all limit laws of the quicksort type random variables defined recursively by Xn d = XIn + X n-1-In + Tn when the "toll function" Tn varies and satisfies ...
KDD
2006
ACM
14 years 10 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...