1054 search results - page 184 / 211 » Abstract Regular Model Checking |
BIBM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...
TWC
2008
13 years 8 months ago
2008
Abstract--In a cellular distributed antenna system (DAS), distributed antenna elements (AEs) are connected to the base station via an offline dedicated link, e.g. fiber optics or l...
TMI
2010
13 years 3 months ago
2010
Abstract--We propose a framework for the nonlinear spatiotemporal registration of 4D time-series of images based on the Diffeomorphic Demons (DD) algorithm. In this framework, the ...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We present a new generic method for vascular segmentation of angiography. Angiography is used for the medical diagnosis of arterial diseases. To facilitate an effective a...
VIS
2008
IEEE
14 years 10 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...