First Order Locally Orderless Registration.
Sune DarknerJosé D. Tascón-VidarteFrançois LauzePublished in: SSVM (2021)
Keyphrases
- image registration
- first order logic
- higher order
- registration process
- image guided surgery
- automatic registration
- point cloud
- medical image registration
- cross correlation
- data sets
- affine transformation
- multi modality
- quantifier elimination
- registration framework
- globally consistent
- image alignment
- medical image analysis
- computer assisted
- logic programs
- mutual information
- three dimensional
- image segmentation
- knowledge base
- computer vision