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 8 months ago
Abstraction for Shape Analysis with Fast and Precise Transformers
Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
ICPR
2008
IEEE
14 years 5 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»
13 years 9 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
ICDAR
2003
IEEE
13 years 9 months 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