507 search results - page 74 / 102 » Counterexample-Guided Abstraction Refinement |
154
Voted
VIS
2009
IEEE
16 years 4 months ago
2009
IEEE
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
129
Voted
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We present a new method for the simultaneous, nearly automatic segmentation of liver contours, vessels, and metastatic lesions from abdominal CTA scans. The method repeat...
116
click to vote
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Shape correspondence is the foundation for accurate statistical shape analysis; this is usually accomplished by identifying a set of sparsely sampled and well-corresponde...
130
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Accurate registration of cortical structures plays a fundamental role in statistical analysis of brain images across population. This paper presents a novel framework for...
112
Voted
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. In this paper we present, evaluate, and discuss two multiscale schemes for modelling grey-level appearance in a deformable model for the segmentation of abdominal aortic ...