12981 search results - page 2186 / 2597 » Model Checking (Abstract) |
139
Voted
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...
221
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Transmission Ultrasound Computed Tomography (CT) is strongly affected by the acoustic refraction properties of the imaged tissue, and proper modeling and correction of th...
148
click to vote
MICCAI
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Anatomical and functional information of cardiac vasculature is a key component of future developments in the field of interventional cardiology. With the technology of C...
228
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...
159
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...