117
click to vote
MICCAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
222
click to vote
MICCAI
2000
Springer
15 years 7 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
MICCAI
2000
Springer
15 years 7 months ago
2000
Springer
209
click to vote
AMAST
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...