Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.
Cristiano CalcagnoDino DistefanoPeter W. O'HearnHongseok YangPublished in: SAS (2006)
Keyphrases
- data structure
- shape representation
- shape analysis
- high level
- state space
- shape recognition
- shape features
- appearance features
- prior information
- shape descriptors
- shape matching
- shape change
- database
- arbitrarily shaped
- transitive closure
- d mesh
- medial axis
- shape prior
- shape model
- medical images
- dynamic programming
- multiscale
- learning algorithm