Multi-Level Reconstruction of Visual Surfaces: Variational Principles and Finite Element Representations

Computational modules early in the human vision system typically generate sparse information about the shapes of visible surfaces in the scene. Moreover, visual processes such as stereopsis can provide such information at a number of levels spanning a range of resolutions. In this paper, we extend this multi-level structure to encompass the subsequent task of reconstructing full surface descriptions from the sparse information. The mathematical development proceeds in three steps. First, the surface most consistent with the sparse constraints is characterized as the solution to an equilibrium state of a thin flexible plate. Second, local, finite element representations of surfaces are introduced and, by applying the finite element method, the continuous variational principle is transformed into a discrete problem in the form of a large system of linear algebraic equations whose solution is computable by local-support, cooperative mechanisms. Third, to exploit the information available at each level of resolution, a hierarchy of discrete problems is formulated and a highly efficient multi-level algorithm, involving both intra-level relaxation processes and bi-directional inter-level algorithm, involving both intra- level relaxation processes and bidirectional inter-level local interpolation processes is applied to their simultaneous solution.. Examples of the generation of hierarchies of surface representations from stereo constraints are given. Finally, the basic surface approximation problem is revisited in a broader mathematical context whose implications are of relevance to vision.

[1]  W. Ritz Über eine neue Methode zur Lösung gewisser Variationsprobleme der mathematischen Physik. , 1909 .

[2]  S. Timoshenko,et al.  Theory of elasticity , 1975 .

[3]  R. Courant Variational methods for the solution of problems of equilibrium and vibrations , 1943 .

[4]  W. G. Bickley,et al.  Relaxation Methods in Theoretical Physics , 1947 .

[5]  M. Hestenes,et al.  Methods of conjugate gradients for solving linear systems , 1952 .

[6]  D. Hilbert,et al.  Geometry and the Imagination , 1953 .

[7]  H. Wallach,et al.  The kinetic depth effect. , 1953, Journal of experimental psychology.

[8]  W. E. Milne Numerical Solution of Differential Equations , 1953 .

[9]  E. Stiefel,et al.  Relaxationsmethoden bester Strategie zur Lösung linearer Gleichungssysteme , 1955 .

[10]  D. Sholl The organization of the cerebral cortex , 1957 .

[11]  H. Wallach The perception of motion. , 1959, Scientific American.

[12]  L. Riggs,et al.  Eye Movements Recorded During Convergence and Divergence , 1960 .

[13]  L. Collatz The numerical treatment of differential equations , 1961 .

[14]  G. Westheimer,et al.  Disjunctive eye movements , 1961, The Journal of physiology.

[15]  J. Gillis,et al.  Matrix Iterative Analysis , 1961 .

[16]  E. H. Mansfield The Bending and Stretching of Plates , 1963 .

[17]  S. Agmon Lectures on Elliptic Boundary Value Problems , 1965 .

[18]  S. Mikhlin,et al.  Variational Methods in Mathematical Physics , 1965 .

[19]  G. Hedstrom,et al.  Numerical Solution of Partial Differential Equations , 1966 .

[20]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[21]  J. L. Walsh,et al.  The theory of splines and their applications , 1969 .

[22]  J. Robson,et al.  Application of fourier analysis to the visibility of gratings , 1968, The Journal of physiology.

[23]  T. A. A. Broadbent,et al.  Survey of Applicable Mathematics , 1970, Mathematical Gazette.

[24]  James M. Ortega,et al.  Iterative solution of nonlinear equations in several variables , 2014, Computer science and applied mathematics.

[25]  B. Julesz Foundations of Cyclopean Perception , 1971 .

[26]  Louis A. Hageman,et al.  Iterative Solution of Large Linear Systems. , 1971 .

[27]  John Rischard Rice,et al.  Mathematical Software , 1971 .

[28]  R. N. Desmarais,et al.  Interpolation using surface splines. , 1972 .

[29]  B. Finlayson The method of weighted residuals and variational principles : with application in fluid mechanics, heat and mass transfer , 1972 .

[30]  I. Babuska The Finite Element Method with Penalty , 1973 .

[31]  G. Strang,et al.  An Analysis of the Finite Element Method , 1974 .

[32]  E. Polak Introduction to linear and nonlinear programming , 1973 .

[33]  Berthold K. P. Horn,et al.  Determining lightness from an image , 1974, Comput. Graph. Image Process..

[34]  O. C. Zienkiewicz,et al.  Constrained variational principles and penalty function methods in finite element analysis , 1974 .

[35]  Åke Björck,et al.  Numerical Methods , 1995, Handbook of Marine Craft Hydrodynamics and Motion Control.

[36]  G. Johansson Visual motion perception. , 1975, Scientific American.

[37]  Berthold K. P. Horn Obtaining shape from shading information , 1989 .

[38]  S. McKee,et al.  Visual acuity in the presence of retinal-image motion. , 1975, Journal of the Optical Society of America.

[39]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[40]  A. Balakrishnan Applied Functional Analysis , 1976 .

[41]  Azriel Rosenfeld,et al.  Scene Labeling by Relaxation Operations , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[42]  G. Westheimer Diffraction Theory and Visual Hyperacuity* , 1976, American journal of optometry and physiological optics.

[43]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[44]  Tomaso Poggio,et al.  From Understanding Computation to Understanding Neural Circuitry , 1976 .

[45]  D Marr,et al.  Early processing of visual information. , 1976, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[46]  Jean Duchon,et al.  Interpolation des fonctions de deux variables suivant le principe de la flexion des plaques minces , 1976 .

[47]  Jean Duchon,et al.  Splines minimizing rotation-invariant semi-norms in Sobolev spaces , 1976, Constructive Theory of Functions of Several Variables.

[48]  K. Rektorys Variational Methods in Mathematics, Science and Engineering , 1977 .

[49]  D. Marr,et al.  Analysis of occluding contour , 1977, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[50]  A. Brandt Multi-Level Adaptive Techniques (MLAT) for Partial Differential Equations: Ideas and Software , 1977 .

[51]  H. Wilson,et al.  Threshold visibility of frequency gradient patterns , 1977, Vision Research.

[52]  Ramakant Nevatia,et al.  Description and Recognition of Curved Objects , 1977, Artif. Intell..

[53]  R. Carpenter,et al.  Movements of the Eyes , 1978 .

[54]  J. Z. Zhu,et al.  The finite element method , 1977 .

[55]  Suzanne P. McKee,et al.  Integration regions for visual hyperacuity , 1977, Vision Research.

[56]  J. Duchon Spline minimizing rotation-invariant seminorms in Sobolev spaces , 1977 .

[57]  Walter Schempp,et al.  Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976 , 1977, Constructive Theory of Functions of Several Variables.

[58]  D. Brandt,et al.  Multi-level adaptive solutions to boundary-value problems math comptr , 1977 .

[59]  H. Barrow,et al.  RECOVERING INTRINSIC SCENE CHARACTERISTICS FROM IMAGES , 1978 .

[60]  D. Marr,et al.  Representation and recognition of the spatial organization of three-dimensional shapes , 1978, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[61]  Allen R. Hanson,et al.  Computer Vision Systems , 1978 .

[62]  A. Brandt,et al.  Multigrid Solutions to Elliptic Flow Problems , 1979 .

[63]  H. B. Barlow,et al.  Reconstructing the visual image in space and time , 1979, Nature.

[64]  I. Gladwell,et al.  A Survey of Numerical Methods for Partial Differential Equations , 2021, An Introduction to Numerical Methods and Analysis.

[65]  J. Meinguet Multivariate interpolation at arbitrary points made simple , 1979 .

[66]  Shimon Ullman,et al.  Relaxation and constrained optimization by local processes , 1979 .

[67]  T. Poggio,et al.  A computational theory of human stereo vision , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[68]  S. Ullman The Interpretation of Visual Motion , 1979 .

[69]  J. Meinguet An Intrinsic Approach to Multivariate Spline Interpolation at Arbitrary Points , 1979 .

[70]  Ellen C. Hildreth,et al.  Implementation Of A Theory Of Edge Detection , 1980 .

[71]  D Marr,et al.  Theory of edge detection , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[72]  J P Frisby,et al.  The Computation of Binocular Edges , 1980, Perception.

[73]  D. Marr,et al.  An Information Processing Approach to Understanding the Visual Cortex , 1980 .

[74]  D. Marr,et al.  Smallest channel in early human vision. , 1980, Journal of the Optical Society of America.

[75]  T. Poggio,et al.  Visual hyperacuity: spatiotemporal interpolation in human vision , 1981, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[76]  Katsushi Ikeuchi,et al.  Numerical Shape from Shading and Occluding Boundaries , 1981, Artif. Intell..

[77]  Andrew P. Witkin,et al.  Recovering Surface Shape and Orientation from Texture , 1981, Artif. Intell..

[78]  John E. W. Mayhew,et al.  Psychophysical and Computational Studies Towards a Theory of Human Stereopsis , 1981, Artif. Intell..

[79]  Katsushi Ikeuchi,et al.  Determining Surface Orientations of Specular Surfaces by Using the Photometric Stereo Method , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[80]  W. Grimson The Implicit Constraints of the Primal Sketch. , 1981 .

[81]  Olivier D. Faugeras,et al.  Improving Consistency and Reducing Ambiguity in Stochastic Labeling: An Optimization Approach , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[82]  Takeo Kanade,et al.  Recovery of the Three-Dimensional Shape of an Object from a Single View , 1981, Artif. Intell..

[83]  Kent A. Stevens,et al.  The Visual Interpretation of Surface Contours , 1981, Artif. Intell..

[84]  Azriel Rosenfeld,et al.  Cooperating Processes for Low-Level Vision: A Survey , 1981, Artif. Intell..

[85]  Eric L. W. Grimson,et al.  From Images to Surfaces: A Computational Study of the Human Early Visual System , 1981 .

[86]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[87]  H. Keith Nishihara,et al.  Intensity, Visible-Surface, and Volumetric Representations , 1981, Artif. Intell..

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

[89]  W E Grimson,et al.  A computer implementation of a theory of human stereo vision. , 1981, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[90]  David Marr,et al.  VISION A Computational Investigation into the Human Representation and Processing of Visual Information , 2009 .

[91]  W E Grimson,et al.  A computational theory of visual surface interpolation. , 1982, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[92]  Michael Brady,et al.  Rotationally symmetric operators for surface interpolation , 1983, Comput. Vis. Graph. Image Process..

[93]  Steven W. Zucker,et al.  On the Foundations of Relaxation Labeling Processes , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.