454 search results - page 71 / 91 » Segmented Iterators and Hierarchical Algorithms |
ICTAC
2010
Springer
14 years 7 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
91
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
80
Voted
CVPR
2003
IEEE
15 years 11 months ago
2003
IEEE
Although steady progress has been made in recent stereo algorithms, producing accurate results in the neighborhood of depth discontinuities remains a challenge. Moreover, among th...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Magnetic Resonance Imaging with non-Cartesian acquisition schemes suffer from blurring artifacts induced by offresonance. Conventional algorithms for off-resonance correction are ...
105
click to vote
CAIP
2003
Springer
15 years 2 months ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of deformable 3D free-form contours. In our scenario we observe objects of any 3D shape in an image of a calibrated cam...