Shape Analysis by Predicate Abstraction.
Ittai BalabanAmir PnueliLenore D. ZuckPublished in: VMCAI (2005)
Keyphrases
- shape analysis
- shape representation
- shape descriptors
- shape recognition
- euclidean space
- image analysis and pattern recognition
- medical imaging
- distance maps
- preserving transformations
- anatomical structures
- shape space
- fourier descriptors
- computer vision
- brain structures
- heat kernel
- image analysis
- image segmentation