Fitting Curves and Surfaces With Constrained Implicit Polynomials

A problem which often arises while fitting implicit polynomials to 2D and 3D data sets is the following: although the data set is simple, the fit exhibits undesired phenomena, such as loops, holes, extraneous components, etc. Previous work tackled these problems by optimizing heuristic cost functions, which penalize some of these topological problems in the fit. The paper suggests a different approach-to design parameterized families of polynomials whose zero-sets are guaranteed to satisfy certain topological properties. Namely, we construct families of polynomials with star-shaped zero-sets, as well as polynomials whose zero-sets are guaranteed not to intersect an ellipse circumscribing the data or to be entirely contained in such an ellipse. This is more rigorous than using heuristics which may fail and result in pathological zero-sets. The ability to parameterize these families depends heavily on the ability to parameterize positive polynomials. To achieve this, we use some powerful results from real algebraic geometry.

[1]  D. Hilbert Über die Darstellung definiter Formen als Summe von Formenquadraten , 1888 .

[2]  David J. Kriegman,et al.  On Recognizing and Positioning Curved 3-D Objects from Image Contours , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[3]  David B. Cooper,et al.  Describing Complicated Objects by Implicit Polynomials , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[4]  Daniel Keren,et al.  Using Symbolic Computation to Find Algebraic Invariants , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[5]  Jean Ponce,et al.  Using Geometric Distance Fits for 3-D Object Modeling and Recognition , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[6]  David B. Cooper,et al.  Linear Programming Fitting of Implicit Polynomials , 1998, IEEE Trans. Pattern Anal. Mach. Intell..

[7]  B. Reznick,et al.  Sums of squares of real polynomials , 1995 .

[8]  Insung Ihm,et al.  Higher-order interpolation and least-squares approximation using implicit algebraic surfaces , 1993, TOGS.

[9]  David J. Kriegman,et al.  Parameterized Families of Polynomials for Bounded Algebraic Curve and Surface Fitting , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[10]  D. Kriegman,et al.  On recognizing and positioning curved 3D objects from image contours , 1989, [1989] Proceedings. Workshop on Interpretation of 3D Scenes.

[11]  Jindong Chen,et al.  Modeling with cubic A-patches , 1995, TOGS.

[12]  PAUL D. SAMPSON,et al.  Fitting conic sections to "very scattered" data: An iterative refinement of the bookstein algorithm , 1982, Comput. Graph. Image Process..

[13]  David B. Cooper,et al.  Practical Reliable Bayesian Recognition of 2D and 3D Objects Using Implicit Polynomials and Algebraic Invariants , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[14]  Gabriel Taubin,et al.  Estimation of Planar Curves, Surfaces, and Nonplanar Space Curves Defined by Implicit Equations with Applications to Edge and Range Image Segmentation , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[15]  David A. Forsyth,et al.  Invariant Descriptors for 3D Object Recognition and Pose , 1991, IEEE Trans. Pattern Anal. Mach. Intell..