4502 search results - page 745 / 901 » Regular Model Checking |
174
click to vote
VIS
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
136
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
143
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Parallel processors such as SIMD computers have been successfully used in various areas of high performance image and data processing. Due to their characteristics of highly regula...
127
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We seek a framework that addresses localization, detection and recognition of man-made objects in natural-scene images in a unified manner. We propose to model artificial structur...
142
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...