Registrations vs Redefinitions in Mizar.

Artur Kornilowicz

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

image registration
computer assisted
pairwise
nonrigid registration
medical image registration
rigid registration
mutual information
brain images
machine learning
image processing
viewpoint
multiresolution
color images
image pairs