smooth surfaces and their outlines koenderink’s theorem the second fundamental form koenderink’s...
TRANSCRIPT
![Page 1: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/1.jpg)
SMOOTH SURFACES AND THEIR OUTLINES
•Koenderink’s Theorem•The second fundamental form• Koenderink’s Theorem• Aspect graphs• More differential geometry• A catalogue of visual events• Computing the aspect graph
• http://www.di.ens.fr/~ponce/geomvis/lect7.ppt • http://www.di.ens.fr/~ponce/geomvis/lect7.pdf
![Page 2: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/2.jpg)
Differential geometry: geometry in the small
A tangent is the limitof a sequence ofsecants.
The normal to a curveis perpendicular to thetangent line.
![Page 3: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/3.jpg)
What can happen to a curve in the vicinity of a point?
(a) Regular point;
(b) inflection;
(c) cusp of the first kind;
(d) cusp of the second kind.
![Page 4: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/4.jpg)
The Gauss Map
• It maps points on a curve onto points on the unit circle.
• The direction of traversal of the Gaussian image revertsat inflections: it folds there.
![Page 5: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/5.jpg)
The curvature
C
• C is the center of curvature;
• R = CP is the radius of curvature;
• = lim s = 1/R is the curvature.
![Page 6: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/6.jpg)
Closed curves admit a canonical orientation..
> 0
<0
= d / ds à derivative of the Gauss map!
![Page 7: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/7.jpg)
Twisted curves are more complicated animals..
![Page 8: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/8.jpg)
A smooth surface, its tangent plane and its normal.
![Page 9: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/9.jpg)
Normal sections and normal curvatures
Principal curvatures:minimum value maximum value
Gaussian curvature:K = 1 1
22
![Page 10: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/10.jpg)
The differential of the Gauss map
dN (t)= lim s ! 0
Second fundamental form:II( u , v) = uT dN ( v )
(II is symmetric.)
• The normal curvature is t = II ( t , t ).• Two directions are said to be conjugated when II ( u , v ) = 0.
![Page 11: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/11.jpg)
The local shape of a smooth surface
Elliptic point Hyperbolic point
Parabolic point
K > 0 K < 0
K = 0
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
![Page 12: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/12.jpg)
The parabolic lines marked on the Apollo Belvedere by Felix Klein
![Page 13: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/13.jpg)
N . v = 0 ) II( t , v )=0
Asymptotic directions:
The contour cusps whenwhen a viewing ray grazesthe surface along an asymptotic direction.
II(u,u)=0
![Page 14: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/14.jpg)
The Gauss map
The Gauss map folds at parabolic points.Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.K = dA’/dA
![Page 15: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/15.jpg)
Smooth Shapes and their Outlines
Can we say anything about a 3D shapefrom the shape of its contour?
![Page 16: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/16.jpg)
Theorem [Koenderink, 1984]: the inflections of the silhouetteare the projections of parabolic points.
![Page 17: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/17.jpg)
Koenderink’s Theorem (1984)
K = r c
Note: > 0.r
Corollary: K and havethe same sign!
c
Proof: Based on the idea that,given two conjugated directions,
K sin2 = u v
![Page 18: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/18.jpg)
What are the contour stable features??
folds T-junctionscusps
How does the appearance of an object change with viewpoint?
Reprinted from “Computing Exact Aspect Graphs of Curved Objects: Algebraic Surfaces,” by S. Petitjean,J. Ponce, and D.J. Kriegman, the International Journal of ComputerVision, 9(3):231-255 (1992). 1992Kluwer Academic Publishers.
![Page 19: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/19.jpg)
Imaging in Flatland: Stable Views
![Page 20: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/20.jpg)
Visual Event: Change in Ordering of Contour Points
Transparent ObjectOpaque Object
![Page 21: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/21.jpg)
Visual Event: Change in Number of Contour Points
Transparent ObjectOpaque Object
![Page 22: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/22.jpg)
Exceptional and Generic Curves
![Page 23: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/23.jpg)
The Aspect GraphIn Flatland
![Page 24: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/24.jpg)
The Geometry of the Gauss Map
Cusp ofGauss
Gutterpoint
Concavefold
Convexfold
Gausssphere
Image ofparaboliccurve
Movinggreatcircle
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
![Page 25: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/25.jpg)
Asymptotic directions at ordinary hyperbolic points
The integral curves of the asymptoticdirections form two families ofasymptotic curves (red and blue)
![Page 26: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/26.jpg)
Asymptotic curves
Parabolic curve Fold
Asymptotic curves’ images
Gaussmap
• Asymptotic directions are self conjugate: a . dN ( a ) = 0
• At a parabolic point dN ( a ) = 0, so for any curve t . dN ( a ) = a . dN ( t ) = 0
• In particular, the Gaussian images of the asymptotic curves and the parabolic curves are both orthogonal to a.
![Page 27: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/27.jpg)
The Geometry of the Gauss Map
Cusp ofGauss
Gutterpoint
Concavefold
Convexfold
Gausssphere
Image ofparaboliccurve
Movinggreatcircle
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
a
![Page 28: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/28.jpg)
The Lip Event
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
v . dN (a) = 0 ) v ¼ a
![Page 29: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/29.jpg)
The Beak-to-Beak Event
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
v . dN (a) = 0 ) v ¼ a
![Page 30: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/30.jpg)
Ordinary Hyperbolic Point
Flecnodal Point
Reprinted from “On ComputingStructural Changes in Evolving Surfaces and their Appearance,”By S. Pae and J. Ponce, theInternational Journal of ComputerVision, 43(2):113-131 (2001). 2001 Kluwer AcademicPublishers.
![Page 31: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/31.jpg)
Red asymptotic curves
Red flecnodal curve
Asymptoticsphericalmap
Red asymptotic curves
Red flecnodal curve
Cusp pairs appear or disappear as one crosses the fold of theasymptotic spherical map.This happens at asymptotic directions along parabolic curves,and asymptotic directions along flecnodal curves.
![Page 32: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/32.jpg)
The Swallowtail Event
Flecnodal Point
Reprinted from “On Computing Structural Changes in Evolving Surfaces and their Appearance,” by S. Pae and J. Ponce, theInternational Journal of Computer Vision, 43(2):113-131 (2001). 2001 Kluwer Academic Publishers.
![Page 33: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/33.jpg)
The Bitangent Ray Manifold:
Ordinarybitangents..
..and exceptional(limiting) ones.
P
P’
P”
limiting bitangent line
unodeReprinted from “Toward a Scale-Space Aspect Graph: Solids ofRevolution,” by S. Pae and J. Ponce, Proc. IEEE Conf. on ComputerVision and Pattern Recognition (1999). 1999 IEEE.
![Page 34: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/34.jpg)
The Tangent Crossing Event
Reprinted from “On Computing Structural Changes in Evolving Surfaces and their Appearance,” by S. Pae and J. Ponce, theInternational Journal of Computer Vision, 43(2):113-131 (2001). 2001 Kluwer Academic Publishers.
![Page 35: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/35.jpg)
The Cusp Crossing Event
After “Computing Exact Aspect Graphs of Curved Objects: Algebraic Surfaces,” by S. Petitjean, J. Ponce, and D.J. Kriegman, the International Journal of Computer Vision, 9(3):231-255 (1992). 1992 Kluwer Academic Publishers.
![Page 36: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/36.jpg)
The Triple Point Event
After “Computing Exact Aspect Graphs of Curved Objects: Algebraic Surfaces,” by S. Petitjean, J. Ponce, and D.J. Kriegman, the International Journal of Computer Vision, 9(3):231-255 (1992). 1992 Kluwer Academic Publishers.
![Page 37: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/37.jpg)
X0
X1
E1
S1
S2
E3
S1
S2
Tracing Visual Events
P1(x1,…,xn)=0…Pn(x1,…,xn)=0
F(x,y,z)=0
Computing the Aspect Graph
• Curve Tracing
• Cell Decomposition
After “Computing Exact Aspect Graphs of Curved Objects: Algebraic Surfaces,” by S. Petitjean, J. Ponce, and D.J. Kriegman, the International Journal of Computer Vision, 9(3):231-255 (1992). 1992 Kluwer Academic Publishers.
![Page 38: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/38.jpg)
An Example
![Page 39: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/39.jpg)
Approximate Aspect Graphs (Ikeuchi & Kanade, 1987)
Reprinted from “Automatic Generation of Object Recognition Programs,” by K. Ikeuchi and T. Kanade, Proc. of the IEEE, 76(8):1016-1035 (1988). 1988 IEEE.
![Page 40: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/40.jpg)
Approximate Aspect Graphs II: Object Localization(Ikeuchi & Kanade, 1987)
Reprinted from “Precompiling a GeometricalModel into an Interpretation Tree for ObjectRecognition in Bin-Picking Tasks,” by K. Ikeuchi,Proc. DARPA Image Understanding Workshop,1987.
![Page 41: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/41.jpg)
VISUAL HULLS
• Visual hulls• Differential projective geometry• Oriented differential projective geometry• Image-based computation of projective visual hulls
![Page 42: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/42.jpg)
Rim
Projective visual hullsLazebnik & Ponce (IJCV’06)
![Page 43: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/43.jpg)
Frontier points
![Page 44: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/44.jpg)
![Page 45: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/45.jpg)
![Page 46: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/46.jpg)
The visual hullBaumgart (1974); Laurentini(1995); Petitjean (1998);Matusik et al. (2001);Lazebnik, Boyer & Ponce (2001);Franco & Boyer (2005).
Triple pointsIntersection of the boundaries of two cones
Oriented projective structureLazebnik & Ponce (2003)
Stolfi (1991); Laveau & Faugeras (1994)
Aspect graphsKoenderink & Van Doorn (1976)
Visibility complexesPocchiola & Vegter (1993);Durand et al. (1997)
![Page 47: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/47.jpg)
![Page 48: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/48.jpg)
Elliptical Hyperbolic Parabolic
K=ln-m2l = |X, Xu , Xv , Xuu |m = |X, Xu , Xv , Xuv |n = |X , Xu , Xv , Xvv |
![Page 49: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/49.jpg)
= | x, x’, x” |
convex inflexion
concave
concave
convex
![Page 50: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/50.jpg)
Koenderink (1984)
![Page 51: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/51.jpg)
Alien vs predator (Lazebnik, Furukawa, Ponce, IJCV 2007)
24 images per model
![Page 52: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/52.jpg)
concave
convex
What about plain projective geometry?
inside
outside
With X. Goaoc, S. Lazard,S. Petitjean, M. Teillaud.
![Page 53: SMOOTH SURFACES AND THEIR OUTLINES Koenderink’s Theorem The second fundamental form Koenderink’s Theorem Aspect graphs More differential geometry A catalogue](https://reader037.vdocuments.us/reader037/viewer/2022110101/56649ed05503460f94bde7b8/html5/thumbnails/53.jpg)
What about polyhedral approximations ofsmooth surfaces? With X. Goaoc and S. Lazard.