On Verifying Complex Properties using Symbolic Shape Analysis
Thomas WiesViktor KuncakKaren ZeeAndreas PodelskiMartin C. RinardPublished in: CoRR (2006)
Keyphrases
- shape analysis
- shape descriptors
- euclidean space
- shape representation
- shape recognition
- preserving transformations
- digital geometry
- distance maps
- medical imaging
- anatomical structures
- image analysis and pattern recognition
- shape space
- closed curves
- fourier descriptors
- shape properties
- shape registration
- medical images