Proving Security Goals With Shape Analysis Sentences.

John D. Ramsdell

Published in: CoRR (2014)

Keyphrases

shape analysis
shape representation
shape descriptors
euclidean space
image analysis and pattern recognition
preserving transformations
fourier descriptors
shape recognition
medical imaging
shape space
distance maps
random walk
anatomical structures
laplace beltrami
brain structures
machine learning
multiscale