Login / Signup
Lazy Shape Analysis.
Dirk Beyer
Thomas A. Henzinger
Grégory Théoduloz
Published in:
Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Keyphrases
</>
shape analysis
shape representation
shape descriptors
medical imaging
shape recognition
preserving transformations
euclidean space
distance maps
image analysis and pattern recognition
shape space
x ray
anatomical structures
three dimensional
feature vectors
magnetic resonance images
heat kernel