Sciweavers

3931 search results - page 577 / 787
» Separation logic and abstraction
Sort
View
MICCAI
2008
Springer
16 years 8 months ago
A Variational Level Set Approach to Segmentation and Bias Correction of Images with Intensity Inhomogeneity
Abstract. This paper presents a variational level set approach to joint segmentation and bias correction of images with intensity inhomogeneity. Our method is based on an observati...
Chunming Li, Rui Huang, Zhaohua Ding, Chris Gat...
DAC
2003
ACM
16 years 8 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
186
Voted
MICCAI
2006
Springer
16 years 8 months ago
Boosting and Nonparametric Based Tracking of Tagged MRI Cardiac Boundaries
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
Zhen Qian, Dimitris N. Metaxas, Leon Axel
MICCAI
2006
Springer
16 years 8 months ago
The Entire Regularization Path for the Support Vector Domain Description
Abstract. The support vector domain description is a one-class classification method that estimates the shape and extent of the distribution of a data set. This separates the data ...
Karl Sjöstrand, Rasmus Larsen
MICCAI
2005
Springer
16 years 8 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...