Sciweavers

66 search results - page 3 / 14
» Contouring Discrete Indicator Functions
Sort
View
IWANN
2001
Springer
13 years 9 months ago
Image Quality Enhancement for Liquid Bridge Parameter Estimation with DTCNN
This work present the use of a neural structure to augment the quality of noisy images of liquid bridges to obtain a clear representation of its border in order to determine the ac...
Miguel A. Jaramillo Morán, J. Álvaro...
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
13 years 9 months ago
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
Felice Balarin
ECCV
2006
Springer
14 years 7 months ago
Globally Optimal Active Contours, Sequential Monte Carlo and On-Line Learning for Vessel Segmentation
In this paper we propose a Particle Filter-based propagation approach for the segmentation of vascular structures in 3D volumes. Because of pathologies and inhomogeneities, many de...
Charles Florin, Nikos Paragios, James Williams
CAD
2008
Springer
13 years 5 months ago
Structure-oriented contour representation and matching for engineering shapes
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....
Suyu Hou, Karthik Ramani
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
13 years 10 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko