4341 search results - page 537 / 869 » Quantitative Model checking |
269
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
186
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. In this paper we propose a novel non-Gaussian MRF for regularization of tensor fields for fiber tract enhancement. Two entities are considered in the model, namely, the l...
162
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We develop a differential geometric framework for regularizing diffusion MRI data. The key idea is to model white matter fibers as 3D space curves and to then extend Pare...
188
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
201
Voted
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We address the problem of classification of EEG recordings for the detection of epileptic seizures. We assume that the EEG measurements can be described by a low dimensional manif...