Sciweavers

5799 search results - page 725 / 1160
» Position Paper
Sort
View
SIGSOFT
2009
ACM
16 years 7 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
179
Voted
ISBI
2004
IEEE
16 years 7 months ago
Vascular Segmentation in Three-Dimensional Rotational Angiography Based on Maximum Intensity Projections
Three-dimensional rotational angiography (3D-RA) is a relatively new and promising technique for imaging blood vessels. In this paper, we propose a novel 3D-RA vascular segmentati...
Rui Gan, Albert C. S. Chung, Wilbur C. K. Wong, Si...
ISBI
2006
IEEE
16 years 7 months ago
Automatic registration of mammograms using texture-based anisotropic features
In this paper, an automated registration framework is proposed to identify the differences between corresponding mammographic images. The deformation between a pair of mammograms ...
Kexiang Wang, Hong Qin, Paul R. Fisher, Wei Zhao
200
Voted
ISBI
2006
IEEE
16 years 7 months ago
Joint detection-estimation of brain activity in fMRI using an autoregressive noise model
Different approaches have been considered so far to cope with the temporal correlation of fMRI data for brain activity detection. However, it has been reported that modeling this ...
Jérôme Idier, Jean-Baptiste Poline, P...
ISBI
2006
IEEE
16 years 7 months ago
Development of a research interface for image guided intervention: initial application to epilepsy neurosurgery
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
Xenophon Papademetris, Kenneth P. Vives, Marcello ...