A tool for registration verification based on gradient correspondence.

Primoz Markelj Franjo Pernus Bostjan Likar

Published in: Medical Imaging: Image Processing (2009)

Keyphrases

image registration
image matching
software tools
point matching
point set registration
model checking
edge detection
point sets
point cloud
affine transformation
feature points
feature matching
rigid body
registration errors
formal verification
nonrigid registration
image sequences