A Framework for Uncertainty and Validation of 3-D Registration Methods Based on Points and Frames

In this paper, we propose and analyze several methods to estimate a rigid transformation from a set of 3-D matched points or matched frames, which are important features in geometric algorithms. We also develop tools to predict and verify the accuracy of these estimations. The theoretical contributions are: an intrinsic model of noise for transformations based on composition rather than addition; a unified formalism for the estimation of both the rigid transformation and its covariance matrix for points or frames correspondences, and a statistical validation method to verify the error estimation, which applies even when no “ground truth” is available. We analyze and demonstrate on synthetic data that our scheme is well behaved. The practical contribution of the paper is the validation of our transformation estimation method in the case of 3-D medical images, which shows that an accuracy of the registration far below the size of a voxel can be achieved, and in the case of protein substructure matching, where frame features drastically improve both selectivity and complexity.

[1]  Zhengyou Zhang,et al.  Iterative point matching for registration of free-form curves and surfaces , 1994, International Journal of Computer Vision.

[2]  Nicholas Ayache,et al.  Randomness and geometric features in computer vision , 1996, Proceedings CVPR IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[3]  Nicholas Ayache,et al.  An 0(n2) algorithm for 3D substructure matching of proteins , 1994 .

[4]  Olivier D. Faugeras,et al.  Characterizing the Uncertainty of the Fundamental Matrix , 1997, Comput. Vis. Image Underst..

[5]  Robert A. Hummel,et al.  Distributed Bayesian object recognition , 1993, Proceedings of IEEE Conference on Computer Vision and Pattern Recognition.

[6]  B. Matthews,et al.  The helix-turn-helix DNA binding motif. , 1989, The Journal of biological chemistry.

[7]  Hugh F. Durrant-Whyte.  Uncertain geometry in robotics , 1988, IEEE J. Robotics Autom..

[8]  William Grimson,et al.  Object recognition by computer - the role of geometric constraints , 1991 .

[9]  Alexis Gourdon,et al.  Computing the Differential Characteristics of Isointensity Surfaces , 1995, Comput. Vis. Image Underst..

[10]  Xinhua Zhuang,et al.  Pose estimation from corresponding point data , 1989, IEEE Trans. Syst. Man Cybern..

[11]  Anja Vogler,et al.  An Introduction to Multivariate Statistical Analysis , 2004 .

[12]  Alfonso Mondragón,et al.  STRUCTURE OF PHAGE 434 CRO PROTEIN AT 2.35 ANGSTROMS RESOLUTION , 1989 .

[13]  Xavier Pennec,et al.  A Framework for Uncertainty and Validation of 3-D Registration Methods Based on Points and Frames , 1995, Proceedings of IEEE International Conference on Computer Vision.

[14]  Jean-Philippe Thirion,et al.  New feature points based on geometric invariants for 3D image registration , 1996, International Journal of Computer Vision.

[15]  Karl-Rudolf Koch,et al.  Parameter estimation and hypothesis testing in linear models , 1988 .

[16]  Haim J. Wolfson,et al.  Model-Based Object Recognition by Geometric Hashing , 1990, ECCV.

[17]  Jean-Philippe Thirion,et al.  Extremal points: definition and application to 3D image registration , 1994, 1994 Proceedings of IEEE Conference on Computer Vision and Pattern Recognition.

[18]  Philip E. Gill,et al.  Practical optimization , 1981 .

[19]  King-Sun Fu,et al.  IEEE Transactions on Pattern Analysis and Machine Intelligence Publication Information , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[20]  Kenichi Kanatani,et al.  Geometric computation for machine vision , 1993 .

[21]  Peter Cheeseman,et al.  A stochastic map for uncertain spatial relationships , 1988 .

[22]  Peter Cheeseman,et al.  On the Representation and Estimation of Spatial Uncertainty , 1986 .

[23]  Paul J. Besl,et al.  A Method for Registration of 3-D Shapes , 1992, IEEE Trans. Pattern Anal. Mach. Intell..

[24]  T. Brubaker,et al.  Nonlinear Parameter Estimation , 1979 .

[25]  G J Williams,et al.  The Protein Data Bank: a computer-based archival file for macromolecular structures. , 1977, Journal of molecular biology.

[26]  A. Jazwinski.  Stochastic Processes and Filtering Theory , 1970 .

[27]  S. Altmann.  Rotations, Quaternions, and Double Groups , 1986 .

[28]  M. A. Snyder.  The Precision of 3-D Parameters in Correspondence-Based Techniques: The Case of Uniform Translational Motion in a Rigid Environment , 1989, IEEE Trans. Pattern Anal. Mach. Intell..

[29]  W. Föstner.  Reliability analysis of parameter estimation in linear models with application to mensuration problems in computer vision , 1987 .

[30]  G J Williams,et al.  The Protein Data Bank: a computer-based archival file for macromolecular structures. , 1978, Archives of biochemistry and biophysics.

[31]  Olivier Faugeras,et al.  3D Dynamic Scene Analysis: A Stereo Based Approach , 1992 .

[32]  Z Otwinowski,et al.  Flexibility of the DNA‐binding domains of trp repressor , 1988, Proteins.

[33]  Xinhua Zhuang,et al.  Robust 3-D-3-D Pose Estimation , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[34]  Yonathan Bard,et al.  Nonlinear parameter estimation , 1974 .

[35]  Yehezkel Lamdan,et al.  Geometric Hashing: A General And Efficient Model-based Recognition Scheme , 1988, [1988 Proceedings] Second International Conference on Computer Vision.

[36]  Nicholas Ayache,et al.  3D-2D projective registration of free-form curves and surfaces , 1995, Proceedings of IEEE International Conference on Computer Vision.

[37]  Wolfgang Förstner.  Reliability analysis of parameter estimation in linear models with applications to mensuration problems in computer vision , 1987, Comput. Vis. Graph. Image Process..

[38]  Berthold K. P. Horn,et al.  Closed-form solution of absolute orientation using unit quaternions , 1987 .

[39]  Hugh Durrant-Whyte,et al.  Integration, coordination, and control of multi-sensor robot systems , 1987 .

[40]  J. Schellman,et al.  Flexibility of DNA , 1974, Biopolymers.

[41]  Olivier D. Faugeras,et al.  HYPER: A New Approach for the Recognition and Positioning of Two-Dimensional Objects , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[42]  S. Harrison,et al.  DNA recognition by proteins with the helix-turn-helix motif. , 1990, Annual review of biochemistry.

[43]  T. N. Bhat,et al.  The Protein Data Bank , 2000, Nucleic Acids Res..

[44]  Thomas S. Huang,et al.  Some Experiments on Estimating the 3-D Motion Parameters of a Rigid Body from Two Consecutive Image Frames , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[45]  Alexis Gourdon,et al.  The Marching lines algorithm : new results and proofs , 1993 .

[46]  T. W. Anderson,et al.  An Introduction to Multivariate Statistical Analysis , 1959 .

[47]  S. Umeyama,et al.  Least-Squares Estimation of Transformation Parameters Between Two Point Patterns , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[48]  K. S. Arun,et al.  Least-Squares Fitting of Two 3-D Point Sets , 1987, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[49]  B. Ripley,et al.  Robust Statistics , 2018, Wiley Series in Probability and Statistics.

[50]  Nicholas Ayache,et al.  3D-2D Projective Registration of Free-Form Curves and Surfaces , 1997, Comput. Vis. Image Underst..

[51]  Nicholas Ayache,et al.  Artificial vision for mobile robots - stereo vision and multisensory perception , 1991 .

[52]  Kenichi Kanatani,et al.  Analysis of 3-D Rotation Fitting , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[53]  J. Andrade-Cetto.  Object Recognition , 2003 .

[54]  Azriel Rosenfeld,et al.  Robust regression methods for computer vision: A review , 1991, International Journal of Computer Vision.