3110 search results - page 215 / 622 » On the initialization of the DNMF algorithm |
191
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
147
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Conventional mutual information (MI)-based registration using pixel intensities is time-consuming and ignores spatial information, which can lead to misalignment. We propose a met...
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We present an analytic solution to the problem of estimating multiple 2-D and 3-D motion models from two-view correspondences or optical flow. The key to our approach is to view th...
166
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. In this paper, we present an approach for image segmentation, based on the existing Active Snake Model and Watershed-based Region Merging. Our algorithm includes initial ...
160
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Shape correspondence is the foundation for accurate statistical shape analysis; this is usually accomplished by identifying a set of sparsely sampled and well-corresponde...