350 search results - page 6 / 70 » A Component-Labeling Algorithm Using Contour Tracing Techniq... |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
TMI
2010
13 years 2 months ago
2010
Abstract--We have developed a novel, model-based active contour algorithm, termed "snakules", for the annotation of spicules on mammography. At each suspect spiculated ma...
PAKDD
2009
ACM
14 years 4 months ago
2009
ACM
Detecting changes in spatial datasets is important for many fields. In this paper, we introduce a methodology for change analysis in spatial datasets that combines contouring algor...
PREMI
2007
Springer
14 years 1 months ago
2007
Springer
We address the issue of segmenting multiple textured objects in presence of a background texture. The proposed technique is based on Geodesic Active Contour (GAC) and can segment m...