Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.

Sigmund Cherem Radu Rugina

Published in: VMCAI (2007)

Keyphrases

shape analysis
linked list
data structure
shape representation
euclidean space
shape descriptors
shape recognition
medical imaging
image analysis and pattern recognition
shape space
distance maps
preserving transformations
fourier descriptors
neural network
laplace beltrami
geodesic paths
statistical analysis