Title: Augmented Reality
1Augmented Reality
- Real scene, scene coordinates
yC
xC
R, t
C
zC
R, t
Z
yV
xV
Y
zV
X
- Visualization (screen, HMD)
2Example 1 ARToolkit
3Example 2 Structure Motion Schweighofer
4Pinhole Camera
y
x
principal point (u0,v0)
p(u,v)
z
optical axis
C
f
v
P(x,y,z)
u
P(x,y,z)
image plane pi (u,v) z -f
focal length f
- Pinhole C center of projection
- p(u,v) ? line of sight viewing direction
5Projective Geometry
P(x,y,z)
P
p(u,v)
!!!
y
x
y
x
z
P
(u0,v0)
C
v
u
p0 ... z 0
pi ... z f
projective camera, normalized camera f 1 1
stationary camera ? 1 coordinate system
(x,y,z) camera-centered coordinate system scene
coordinate system Only points in p0 are not
projected to pi
6Projective Images Examples, Properties
- Impression of depth in images
- Parallel lines meet at infinity
- infinity is projected to finite
- location in the image
- horizon
- points at infinity,
Triggs and Mohr
7Projective Images Scaling
8Projective Images Foreshortening
9Projective Images Parallel Lines Meet
Sonka, Hlavac, Boyle
10Projective Geometry vs. Computer Vision
- points in p1
- straight lines of sight
- projective reconstruction
- geometry, precise
- known correspondences
- discrete pixels in pi
- sampling theorem
- lens distortion, aperture,
- depth of field
- oriented projective rec.
- in front of camera
- inherently imprecise ?
- estimation, minimization
- outliers ? robustness
11Example Stereo Reconstruction
P
P
C1
- projective geometry
- computer vision
C2
12Algebraic Projective Geometry (1)
- A unified geometric algebraic framework
- Point
- Line
13Algebraic Projective Geometry (2)
- Duality point ? line
- Unified approach projective n-space Pn
- point (n1)
- vector
14Homogeneous Coordinates in Pn
Equivalence class of vectors
forms P2 projective plane
Homogeneous coordinates , but only 2
DoF inhomogeneous
15Equivalence Class of Vectors
Without further knowledge, such situations cannot
be distingushed !
A further example Equivalence of a toy car,
closeup shot, and real car, distant shot
16The Projective Plane (1)
- Point
- Line
- ideal points treated like any point x3?0
- ?
Fluchtpunkte - line at infinity ? the planes
horizon
intersection of parallel lines !
17The Projective Plane (2)
- Adding the ideal points to R2 leads to the
projective plane P2 - Covers all homo-geneous coordinates
HartleyZisserman
18The Projective Plane (3)
Image of the horizon of p, line at infinity
of p
vanishing point, Fluchtpunkt Bild eines
Fernpunktes
p
- Projective geometry can map infinitely far
points / lines to finite ones - No difference between finite and infinite
- e.g. hyperbola is one continuous conic
19There is also Projective Space P3
duality L ? L
duality point ? plane
20Projective Transformations in Pn
- projective transformation collineation
projectivity homography H - Invertible mapping Pn ?Pn
-
- ? geradentreue Abbildung
- (n1) x (n1) matrix
- In P2
- H has (n1)2-1 DoF, H is non-singular
21Projective Transformations in P2
- Translation
- Rotation
- Scaling
- Any combination, e.g.
22A Remark on Conics
- 2nd degree equation in the plane
- Homog. coord
- Conic C
- Five DoF, 5 points define a conic
23Back to Homographies Examples (1)
Mapping between planes
HartleyZisserman
central projection may be expressed by xHx
24Back to Homographies Examples (2)
Removing projective distortion
HartleyZisserman
25Back to Homographies Examples (3)
HartleyZisserman
26Transformation for Points, Lines, Conics
27A Hierarchy of Transformations / Geometries (1)
- Isometric / Euclidean
- Invariants length, angle, area
- Similarity
- Invariants ratios of length / areas, angle,
parallel lines
28A Hierarchy of Transformations / Geometries (2)
- Affine
-
- 6 DoF 2 x scale ?1,?2 2 x rot. ?,? 2 x
translation - Invariants parallel lines, ratios of parallel
lengths, ratios of areas
29A Hierarchy of Transformations / Geometries (3)
- Projective
- 8 DoF 2 x scale ?1,?2 2 x rot. ?,? 2 x
translation - 2 x line at infinity
- Invariant Cross-ratio CR of 4 collinear points
A
B
C
D
30A Hierarchy of Transformations / Geometries (4)
Projective 8dof
Affine 6dof
In 2D, a square transforms to
Similarity 4dof
Euclidean 3dof
31A Hierarchy of Transformations / Geometries (5)
Projective 15dof
Affine 12dof
In 3D, a cube transforms to
Similarity 7dof
Euclidean 6dof
32Stratification
- In AR, we take perspective images,
- but we require metric (Euclidean) reconstruction!
- How?
- The stratification of 3D geometry Pollefeys 2.2
33Stratification of 2D / 3D Geometry
- Many possibilities, many approaches
- Examples
- Known directions
- Known points, lines, planes at 8
- Known lengths in the scene
- IAC (self-calibration)
- Known camera intrinsics
- Camera calibration relative orientation
- Multiview geometry, structuremotion
unknown scenes
34Stratification Examples (1)
- Known points, line at infinity
l8
v1
v2
l1
l3
l2
l4
perspective
affine
35Stratification Examples (1)
affine
metric (similarity, unknown scale)
36Stratification Examples (2)
perspective
affine
37Stratification Examples (2)
affine
metric (similarity, unknown scale)
38Stratification Examples (3)
Pollefeys IJCV99
metric (similarity, unknown scale)
metric (Euclidean, known scale)
39Stratification Examples (4)
metric (Euclidean, known scale)
perspective
40Video AR is (rather) simple
- Known artificial targets / markers
- Uncalibrated perspective camera
- But collineation required
- Problems when e.g. strong lens distortions
- Augmentation of the video frames
- Examples
- Artoolkit
- Kutulakos
- Can be related to scene coordinates, but requires
ground truth for markers
41ARToolkit Demo ISAR 2000
immersive view
observers view
42Kutulakos Calibration-Free AR IEEE Trans.
Visualization and Graphics 1998
43Field Maintenance Support ARVIKA
44Scene Structure Camera Motion(the harder, but
more general approach to AR)
- Many possible approaches
- Monocular, calibrated, known natural landmarks
Ribo - Stereo, calibrated Schweighofer
- Monocular, calibrated Murray
- Monocular, uncalibrated Pollefeys
- not (yet?) in real time !
unknown scene, unknown natural landmarks
? calibration !