Sciweavers

106 search results - page 1 / 22
» Abstraction for Shape Analysis with Fast and Precise Transfo...
Sort
View
CAV
2006
Springer
101views Hardware» more  CAV 2006»
13 years 11 months ago
Abstraction for Shape Analysis with Fast and Precise Transformers
Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
ICPR
2008
IEEE
14 years 8 months ago
Fast and precise kinematic skeleton extraction of 3D dynamic meshes
Shape skeleton extraction is a fundamental preprocessing task in shape-based pattern recognition. This paper presents a new algorithm for fast and precise extraction of kinematic ...
Jean-Philippe Vandeborre, Julien Tierny, Mohamed D...
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
14 years 28 days ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
ICDAR
2003
IEEE
14 years 27 days ago
Vectorization with the Voronoi L-diagram
A new precision vectorization method has been developed for building centerlines of plain shapes. First a dense skeleton is computed. Centerlines are obtained as a subset of branc...
Alexander Gribov, Eugene Bodansky