Sciweavers

12264 search results - page 2171 / 2453
» Analysis of the rubberband algorithm
Sort
View
HASE
1998
IEEE
15 years 9 months ago
Verification in Concurrent Programming with Petri Nets Structural Techniques
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
Kamel Barkaoui, Jean-François Pradat-Peyre
MICCAI
1999
Springer
15 years 9 months ago
Detection of Pulmonary Nodules on Ct and Volumetric Assessment of Change over Time
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
Margrit Betke, Jane P. Ko
MICCAI
1999
Springer
15 years 9 months ago
Fully Automatic 3D/2D Subtracted Angiography Registration
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomm...
SCALESPACE
1999
Springer
15 years 9 months ago
A Scale-Space Based Approach for Deformable Contour Optimization
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
Yusuf Sinan Akgul, Chandra Kambhamettu
SCALESPACE
1999
Springer
15 years 9 months ago
Morphing Active Contours
ÐA method for deforming curves in a given image to a desired position in a second image is introduced in this paper. The algorithm is based on deforming the first image toward the...
Marcelo Bertalmío, Guillermo Sapiro, Gregor...
« Prev « First page 2171 / 2453 Last » Next »