Combining Deductive Verification with Shape Analysis.

Téo Bernier Yani Ziani Nikolai Kosmatov Frédéric Loulergue

Published in: FASE (2024)

Keyphrases

shape analysis
shape descriptors
shape representation
preserving transformations
euclidean space
medical imaging
anatomical structures
shape recognition
shape space
image analysis and pattern recognition
fourier descriptors
distance maps
euclidean distance
brain structures
geodesic paths
multiscale segmentation