4502 search results - page 534 / 901 » Regular Model Checking |
198
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Curve evolution schemes for segmentation, implemented with level set methods, have become an important approach in computer vision. Previous work has modeled evolving contours whi...
190
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a novel 3D deformable surface that we call an active polyhedron. Rooted in surface evolution theory, an active polyhedron is a polyhedral surface whose vertice...
166
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, an optimization based learning method is proposed for image retrieval from graph model point of view. Firstly, image retrieval is formulated as a regularized optimi...
179
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We introduce a new algorithm for binary classification in the selective sampling protocol. Our algorithm uses Regularized Least Squares (RLS) as base classifier, and for this reas...
148
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Statistical reconstruction algorithms in transmission tomography yield improved images relative to the conventional FBP method. The most popular iterative algorithms for this prob...