Shape Analysis via Second-Order Bi-Abduction.
Quang Loc LeCristian GherghinaShengchao QinWei-Ngan ChinPublished in: CAV (2014)
Keyphrases
- shape analysis
- shape representation
- shape descriptors
- higher order
- euclidean space
- shape recognition
- image analysis and pattern recognition
- medical imaging
- preserving transformations
- anatomical structures
- fourier descriptors
- shape space
- distance maps
- magnetic resonance images
- brain structures
- image segmentation
- image registration