4814 search results - page 531 / 963 » Combining abstract interpreters |
142
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Abstract. This paper presents a set of image operators for detecting regions in space-time where interesting events occur. To define such regions of interest, we compute a spatio-t...
192
Voted
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
192
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. Knowledge of brain aneurysm dimensions is essential in minimally invasive surgical interventions using Guglielmi Detachable Coils. These parameters are obtained in clinic...
198
Voted
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We present a segmentation method for vessels using an implicit deformable model with a soft shape prior. Blood vessels are challenging structures to segment due to their ...
190
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a novel approach for object segmentation in medical images that respects the topological relationships of multiple structures as given by a template. ...