Scalable Shape Analysis for Systems Code.

Hongseok Yang Oukseh Lee Josh Berdine Cristiano Calcagno Byron Cook Dino Distefano Peter W. O'Hearn

Published in: CAV (2008)

Keyphrases

shape analysis
shape descriptors
euclidean space
medical imaging
shape recognition
shape representation
image analysis and pattern recognition
pattern recognition
intelligent systems
preserving transformations
high quality
closed curves
distance maps