A theory of the motion fields of curves

This article reports a study of the motion field generated by moving 3-D curves that are observed by a camera. We first discuss the relationship between optical flow and motion field and show that the assumptions made in the computation of the optical flow are a bit difficult to defend.We then go ahead to study the motion field of a general curve. We first study the general case of a curve moving nonrigidly and introduce the notion of isometric motion. In order to do this, we introduce the notion of spatiotemporal surface and study its differential properties up to the second order. We show that, contrary to what is commonly believed, the full motion field of the curve (i.e., the component tangent to the curve) cannot be recovered from this surface. We also give the equations that characterize the spatio-temporal surface completely up to a rigid transformation. Those equations are the expressions of the first and second fundamental forms and the Gauss and Codazzi-Mainardi equations. We then relate those differential expressions computed on the spatio-temporal surface to quantities that can be computed from the images intensities. The actual values depend upon the choice of the edge detector.We then show that the hypothesis of a rigid 3-D motion allows in general to recover the structure and the motion of the curve, in fact without explicitly computing the tangential motion field, at the cost of introducing the three-dimensional accelerations. We first study the motion field generated by the simplest kind of rigid 3-D curves, namely lines. This study is illuminating in that it paves the way for the study of general rigid curves and because of the useful results which are obtained. We then extend the results obtained in the case of lines to the case of general curves and show that at each point of the image curve two equations can be written relating the kinematic screw of the moving 3-D curve and its time derivative to quantities defined in the study of the general nonrigid motion that can be measured from the spatio-temporal surface and therefore from the image. This shows that the structure and the motion of the curve can be recovered from six image points only, without establishing any point correspondences.Finally we study the cooperation between motion and stereo in the framework of this theory. The use of two cameras instead of one allows us to get rid of the three-dimensional accelerations and the relations between the two spatio-temporal surfaces of the same rigidly moving 3-D curve can be used to help disambiguate stereo correspondences.

[1]  Ellen C. Hildreth,et al.  The detection of intensity changes by computer and biological vision systems , 1983, Comput. Vis. Graph. Image Process..

[2]  Ellen C. Hildreth,et al.  Measurement of Visual Motion , 1984 .

[3]  R. W. Smith Problems in Optics , 1975 .

[4]  Olivier D. Faugeras,et al.  On the motion of 3D curves and its relationship to optical flow , 1990, ECCV.

[5]  Rachid Deriche,et al.  Using Canny's criteria to derive a recursively implemented optimal edge detector , 1987, International Journal of Computer Vision.

[6]  Manfredo P. do Carmo,et al.  Differential geometry of curves and surfaces , 1976 .

[7]  John F. Canny,et al.  A Computational Approach to Edge Detection , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[8]  Robert C. Bolles,et al.  Generalizing Epipolar-Plane Image Analysis on the spatiotemporal surface , 2004, International Journal of Computer Vision.

[9]  Berthold K. P. Horn Robot vision , 1986, MIT electrical engineering and computer science series.

[10]  Andrea J. van Doorn,et al.  Invariant Properties of the Motion Parallax Field due to the Movement of Rigid Bodies Relative to an Observer , 1975 .

[11]  Olivier Faugeras,et al.  Maintaining representations of the environment of a mobile robot , 1988, IEEE Trans. Robotics Autom..

[12]  Shaogang Gong,et al.  Curve motion constraint equation and its applications , 1989, [1989] Proceedings. Workshop on Visual Motion.

[13]  Michael Spivak A comprehensive introduction to defferential geometry volume two / Michael Spivak , 1979 .

[14]  Hans-Hellmut Nagel,et al.  Displacement vectors derived from second-order intensity variations in image sequences , 1983, Comput. Vis. Graph. Image Process..

[15]  M. Spivak A comprehensive introduction to differential geometry , 1979 .

[16]  Johan D'Haeyer Determining motion of image curves from local pattern changes , 1986, Comput. Vis. Graph. Image Process..

[17]  Berthold K. P. Horn,et al.  Determining Optical Flow , 1981, Other Conferences.

[18]  J. Gibson The perception of the visual world , 1951 .

[19]  Stephen J. Maybank Rigid velocities compatible with five image velocity vectors , 1990, Image Vis. Comput..

[20]  Olivier D. Faugeras,et al.  Curve-based stereo: figural continuity and curvature , 1991, Proceedings. 1991 IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[21]  M. Docarmo Differential geometry of curves and surfaces , 1976 .

[22]  From Optical Flow of Lines to 3D Motion and Structure , 1989, DAGM-Symposium.

[23]  Rachid Deriche,et al.  3D Motion Estimation using a Token Tracker , 1988, MVA.

[24]  Rachid Deriche,et al.  Tracking line segments , 1990, Image Vis. Comput..

[25]  O. Faugeras,et al.  Sur le mouvement des courbes tridimensionnelles et sa relation avec le flot optique , 1991 .

[26]  Patrick Bouthemy,et al.  A Maximum Likelihood Framework for Determining Moving Edges , 1989, IEEE Trans. Pattern Anal. Mach. Intell..

[27]  Olivier D. Faugeras,et al.  Robust and fast computation of unbiased intensity derivatives in images , 1992, ECCV.

[28]  H. C. Longuet-Higgins,et al.  The interpretation of a moving retinal image , 1980, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[29]  Isaac Weiss High-Order Differentiation Filters that Work , 1994, IEEE Trans. Pattern Anal. Mach. Intell..