4341 search results - page 346 / 869 » Quantitative Model checking |
188
Voted
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...
181
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
167
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper we investigate a mesh-modeling approach for multi-modality image reconstruction. In the proposed approach a mesh model uses information obtained from an anatomical M...
160
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a novel hybrid segmentation technique incorporating a statistical as well as a geometric model in a unified segmentation scheme for brain tissue segmentation o...
178
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...