8
24/01/2014 1 Shape-from-Template Adrien Bartoli ALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat, Daniel Pizarro, Richard Hartley Computer Vision Mini Workshop Toulouse, January 24, 2014 3D Reconstruction: to Recover Shape from Images Active methods Passive methods Image from [Crandall et al, CVPRโ€™11] Using Shape-from-Motion Image by Visnjic, 2010 Using Kinect Escaping Criticism by del Caso, 1874 Model Town by Matt West, 2006 Blur Shading Motion Occlusions Stereoscopy Texture [Gibson ~ 1960 ; Marr ~ 1970] Passive Single-View Reconstruction: Visual Cues Blur Shading Motion Occlusions Stereoscopy Unapplicable to single-view Very weak here Unapplicable to single-view Weak in general Very weak here Very weak here Texture + database [Hoeim et al, SIGGRAPHโ€™05] Passive Single-View Reconstruction: Shape Priors Low dimensional shape space 3D Morphable Face Model [Blanz and Vetter, PAMIโ€™03] High dimensional shape spaceโ€ฆ โ€ฆ but simple deformation model! Object level High dimensional shape space Scene level Faces Newspapers Detection Recognition Shape-from-Template Shape Image Shape-from-Template Material Shape Appearance Template Scope: object-specific passive single-view reconstruction using simple physics- based deformation from a known reference shape and a matchable appearance [Gumerov et al, ECCVโ€™04 ; Salzmann et al, BMVCโ€™05 ; Perriollat et al, BMVCโ€™08] Detection Shape-from-Template Template not found Template not found Shape-from-Template Shape-from-Template Shape-from-Template Shape-from-Template Shape-from-Template Template not found Shape Appearance Template Material

24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

1

Shape-from-Template

Adrien BartoliALCoV-ISIT, Clermont-Ferrand

Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat, Daniel Pizarro, Richard Hartley

Computer Vision Mini Workshop

Toulouse, January 24, 2014

3D Reconstruction: to Recover Shape from Images

Active methods Passive methods

Image from [Crandall et al, CVPRโ€™11]Using Shape-from-Motion

Image by Visnjic, 2010Using Kinect

Escaping Criticism by del Caso, 1874

Model Town by Matt West, 2006

Blur ShadingMotion OcclusionsStereoscopy Texture

[Gibson ~ 1960 ; Marr ~ 1970]

Passive Single-View Reconstruction: Visual Cues

Blur ShadingMotion OcclusionsStereoscopy

Unapplicableto single-view

Very weak hereUnapplicableto single-view

Weak in general

Very weak here Very weak here

Texture

+ database

[Hoeim et al, SIGGRAPHโ€™05]

Passive Single-View Reconstruction: Shape Priors

Low dimensional shape space

3D Morphable Face Model[Blanz and Vetter, PAMIโ€™03]

High dimensional shape spaceโ€ฆ

โ€ฆ but simple deformation model!

Ob

ject

leve

l

High dimensional shape space

Scen

ele

vel

Faces Newspapers

Detection Recognition

Shape-from-Template

ShapeImage

Shape-from-Template

MaterialShapeAppearance

Template

Scope: object-specific passive single-view reconstruction using simple physics-based deformation from a known reference shape and a matchable appearance

[Gumerov et al, ECCVโ€™04 ; Salzmann et al, BMVCโ€™05 ; Perriollat et al, BMVCโ€™08]

Detection

Shape-from-Template

Template not found

Template not found

Shape-from-Template

Shape-from-Template

Shape-from-Template

Shape-from-Template

Shape-from-Template

Template not found

ShapeAppearance

Template

Material

Page 2: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

2

Shape-from-Template

Template not found

Template not found

Template not found

Shape-from-Template

ShapeAppearance

Template

Material

Template not found

Augmented Reality for Deformable Surfaces

Differential Geometric Setup

3D

2D

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

Shape

Cameraprojection ฮ 

๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

ฮ  โˆˆ ๐ถโˆž โ„3, โ„2

ShapeAppearance

Template

Material

โˆ˜ ฮ  โˆ˜ ๐œ‘=โ‡’

โ‡’ ๐œ‘ =

Image warp ๐œ‚

๐œ‚

Two-Step Approach

3D

2D

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

Image warp ๐œ‚

Cameraprojection ฮ 

Shape

1 โ€“ Image registration

2 โ€“ Shape inference

Differential Problem Statement

ShapeAppearance

Template

Material

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2Find s.t.

๐œ‘ =

โˆ˜ ฮ  โˆ˜ ๐œ‘=

Shape-from-Template

Problem Relaxation

ShapeAppearance

Template

Material

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2Find s.t.

๐œ‘ =

โˆ˜ ฮ  โˆ˜ ๐œ‘=

Shape-from-Template

๐œผ โˆˆ ? ?๐œผ

๐‘‡๐‘‰2๐ฟ2 ๐œ‚ โ†’ min

Page 3: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

3

Image Registration

ShapeAppearance

Template

Material

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2Find s.t.

๐œ‘ =

โˆ˜ ฮ  โˆ˜ ๐œ‘=

Shape-from-Template

๐œผ โˆˆ ? ?๐œผ

๐‘‡๐‘‰2๐ฟ2 ๐œ‚ โ†’ min

Find s.t. = โˆ˜ ๐œ‚Warp ๐œ‚ โˆˆ ๐ถ2 ฮฉ,โ„2

1 โ€“ Image registration

Factoring the Warp into Embedding and Projection

ShapeAppearance

Template

Material

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2Find s.t.

๐œ‘ =

โˆ˜ ฮ  โˆ˜ ๐œ‘=

Shape-from-Template ๐œผ = ๐šท โˆ˜ ๐‹

Shape Inference

ShapeAppearance

Template

Material

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2Find s.t.

๐œ‘ =

โˆ˜ ฮ  โˆ˜ ๐œ‘=

Shape-from-Template ๐œผ = ๐šท โˆ˜ ๐‹

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

Shape-from-Template

Two-Step Approach

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

Template

Find s.t. = โˆ˜ ๐œ‚Warp ๐œ‚ โˆˆ ๐ถ2 ฮฉ,โ„2

1 โ€“ Image registration

Appearance Shape Material

Step 1: Image Registration, in a Nutshell

Find s.t. = โˆ˜ ๐œ‚Warp ๐œ‚ โˆˆ ๐ถ2 ฮฉ,โ„2

1 โ€“ Image registration

Putative keypoint matches [Lowe, IJCVโ€™04]

Densification[Bookstein, PAMIโ€™89]

Template not found

Local consistency [Pizarro et al, IJCVโ€™12]

1

2

[Schmid et al, PAMIโ€™97]

Step 1: Image Registration, in a Nutshell

Local consistency [Pizarro et al, IJCVโ€™12]

Partial self-occlusion detection[Pizarro et al, IJCVโ€™12]

Densification [Bookstein, PAMIโ€™89]

Self-occlusion aware densification[Pizarro et al, IJCVโ€™12]

Color-based refinement[Gay-Bellile et al, PAMIโ€™10]

2

3

4

5

6

Page 4: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

4

Step 1: Image Registration, Results Step 1: Image Registration, Results

Shape-from-Template

Two-Step Approach

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

Template

Find s.t. = โˆ˜ ๐œ‚Warp ๐œ‚ โˆˆ ๐ถ2 ฮฉ,โ„2

1 โ€“ Image registration

Appearance Shape Material

Step 2: Shape Inference

3D

2D

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

Cameraprojection ฮ 

Image warp ๐œ‚

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

Calibratedpinhole

Zeroth Order Methods

3D

2D

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

Cameraprojection ฮ 

Image warp ๐œ‚

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

๐›ป๐œ‘โŠค๐›ป๐œ‘ = I

Main result: shape-wise solution of a convex relaxation[Perriollat et al, IJCVโ€™11; Salzmann et al, PAMIโ€™11; Brunet et al, ACCVโ€™10; ร–stlund et al, ECCVโ€™12]

Zeroth orderreprojection

[Perriollat et al, IJCVโ€™11; Salzmann et al, PAMIโ€™11]

First Order Methods

3D

2D

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

Cameraprojection ฮ 

Image warp ๐œ‚

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

๐›ป๐œ‘โŠค๐›ป๐œ‘ = I

Zeroth orderreprojection

๐›ป๐œ‚ = ๐›ปฮ  โˆ˜ ๐œ‘ ๐›ป๐œ‘

First orderreprojection

[Bartoli et al, CVPRโ€™12]

Page 5: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

5

First Order Methods

Find s.t.

2 โ€“ Shape inference

Embedding ๐œ‘ โˆˆ ๐ถ2 ฮฉ,โ„3

Projection ฮ  โˆˆ ๐ถโˆž โ„3, โ„2๐œ‘ =

๐œ‚ = ฮ  โˆ˜ ๐œ‘

๐›ป๐œ‘โŠค๐›ป๐œ‘ = I

Zeroth orderreprojection

๐›ป๐œ‚ = ๐›ปฮ  โˆ˜ ๐œ‘ ๐›ป๐œ‘

First orderreprojection

๐œ‚ 22๐›ป๐›พโŠค๐›ป๐›พ + ๐›พ2๐›ป๐œ‚โŠค๐›ป๐œ‚ + ๐›พ ๐›ป๐›พโŠค๐œ‚โŠค๐›ป๐œ‚ + ๐›ป๐œ‚โŠค๐œ‚๐›ป๐›พ = I

Let ๐›พ โˆˆ ๐ถ1 ฮฉ, โ„ be the depth function

Shape inference is this first-order quadratic PDE in ๐œธ

Main result: exact point-wise solution

[Bartoli et al, CVPRโ€™12]

Intuition: neglect the dependency between ๐›พ and ๐›ป๐›พ

First Order Methods

๐œ‚ 22๐›ป๐›พโŠค๐›ป๐›พ + ๐›พ2๐›ป๐œ‚โŠค๐›ป๐œ‚ + ๐›พ ๐›ป๐›พโŠค๐œ‚โŠค๐›ป๐œ‚ + ๐›ป๐œ‚โŠค๐œ‚๐›ป๐›พ = I

Isometric developable

Conformal

๐œ‚ 22๐›ป๐›พโŠค๐›ป๐›พ + ๐›พ2๐›ป๐œ‚โŠค๐›ป๐œ‚ + ๐›พ ๐›ป๐›พโŠค๐œ‚โŠค๐›ป๐œ‚ + ๐›ป๐œ‚โŠค๐œ‚๐›ป๐›พ = ๐œˆ๐›ปฮ”โŠค๐›ปฮ”

๐œ‚ 22๐›ป๐›พโŠค๐›ป๐›พ + ๐›พ2๐›ป๐œ‚โŠค๐›ป๐œ‚ + ๐›พ ๐›ป๐›พโŠค๐œ‚โŠค๐›ป๐œ‚ + ๐›ป๐œ‚โŠค๐œ‚๐›ป๐›พ = ๐›ปฮ”โŠค๐›ปฮ”

Isometric non-developable object

Isometric (infinitesimal) weak-perspective

๐›ป๐›พ 22 + ๐›พ2 ๐›ป๐œ‚๐›ป๐œ‚โŠค + ๐›ผ2๐›ป๐›พโŠค๐›ป๐›พ = ๐œˆ๐›ปฮ”โŠค๐›ปฮ”

Isometric, unknown focal length

๐‘“2 ๐›ป๐›พ 22 + ๐›พ2 ๐›ป๐œ‚๐›ป๐œ‚โŠค + ๐›ผ2๐›ป๐›พโŠค๐›ป๐›พ = ๐œˆ๐›ปฮ”โŠค๐›ปฮ”

โ€˜trueโ€™ ๐‘“ = 2040 pixels

3.8% relative error

Estimated ๐‘“ = 2118 pixels

๐‘“ = 5870 pixels

Non-flattenable Objects

3D

2D

Image warp ๐œ‚

Cameraprojection ฮ 

Deformation ฮจ

Conformal flattening ฮ”โˆ’1

๐‘ข๐‘ฃ-map - ฮฉ โŠ‚ โ„2 Image

ฮ” โˆˆ ๐ถ2 ฮฉ,โ„3

ฮจ = ๐œ‘ โˆ˜ ฮ”โˆ’1

Step 2: Shape Inference, Results

Ground-truth(Rigid Shape-from-Motion)

Shape-from-Template

Step 2: Shape Inference, Results Step 2: Shape Inference, Results

Page 6: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

6

Some Extensions

ShapeAppearance

Template 1

Material ShapeAppearance

Template 2

Material

Multiobject shape-from-template [Alcantarilla et al, BMVCโ€™12]

etc.

Linear elastic deformations [Malti et al, CVPRโ€™13]

template image shape

Isowarp and Conwarp [Pizarro et al, BMVCโ€™13]

Differential constraints on ๐œ‚ so that ๐œ‚ = ฮ  โˆ˜ ๐œ‘

Main Surface Types

Physical flattening Virtual flattening

Iso

met

ric

def

orm

atio

nEl

asti

cd

efo

rmat

ion

Gynecologic Surgery

Proceduresโ€ข Benign conditionsโ€ข Cancerโ€ข Infertilityโ€ข Incontinence

Organs of the female reproductive system

Located in the pelvic cavity

Scope

Abdominal (open, laparotomy)

Hysteroscopic(through vagina)

Laparoscopic(small incisions)

Types

Preoperative Imaging

MRI US

โ€ข Diagnosisโ€ข Procedureโ€ข Type of surgery

Uterine Fibroids or Myomas

โ€ข Microscopic to extremely large sizeโ€ข Often several of them

Benign tumors from the myometrium

May be invisible in laparoscopy(and hysteroscopy)

Intramural myomas (type b)

Clearly visible in MRI

Laparoscopic Augmented Reality

3 Displaying

Augmenting

Augmentation data

2

Registration

1 Filming

Page 7: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

7

Registration is Challenging

Blur Occlusions

Bleeding Smoke

Augmentation data

Preoperative MRI Preparation

Axial Sagittal Coronal

Uterus surface First fibroid Second fibroid

Augmented Reality Framework

1 Registration

2 Augmentation

Current frame

Current frame

Registration ฮฆ๐‘– :โ„3 โ†’ โ„2

Requirements:R1 โ€“ deformable R2 โ€“ multimodalR3 โ€“ realtime R4 โ€“ automatic

Two-Step Registration

Registration ฮฆ๐‘– :โ„3 โ†’ โ„2

1 Registration

Current frame

Reference frame

1b

Reference shape1a

Requirements: (R1), R3, R4

Requirements:R1 โ€“ deformable R2 โ€“ multimodalR3 โ€“ realtime R4 โ€“ automatic

Relax requirements with ฮฆ๐‘– = ฮ“๐‘– โˆ˜ ฮ“0

Preoperative to intraoperative reference

Intraoperativereference to current frame

WBMTR (Wide-Baseline Multi-Texturemap Registration)[Collins et al, MIAR@MICCAIโ€™13]

Registration ฮฆ๐‘– :โ„3 โ†’ โ„2

1 Registration

Reference frame

Requirements:R1 โ€“ deformable R2 โ€“ multimodalR3 โ€“ realtime R4 โ€“ automatic

Relax requirements with ฮฆ๐‘– = ฮ“๐‘– โˆ˜ ฮ“0

Current frame

Shape-from-Motion

Pose with keypoints from best reference frame

Reference frames

Reference shape

WBMTR Registration Results

Page 8: 24/01/2014 - ENSEEIHTgurdjos.perso.enseeiht.fr/vision24janvier2014/Bartoli-24jan-TLSE.pdfALCoV-ISIT, Clermont-Ferrand Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat,

24/01/2014

8

WBMTR Registration Results Generalizing Rigid Pose to Deformations

Registration ฮฆ๐‘– :โ„3 โ†’ โ„2

1 Registration

Current frame

Reference shape

Requirements:R1 โ€“ deformable R2 โ€“ multimodalR3 โ€“ realtime R4 โ€“ automatic

Relax requirements with ฮฆ๐‘– = ฮ“๐‘– โˆ˜ ฮ“0

ฮจ๐‘– :โ„3 โ†’ โ„3

ฮ :โ„3 โ†’ โ„2

Deformation

Projection

Shape-from-TemplateTo recover ฮจ๐‘– (and ฮ )

Uterine Shape-from-Template Results

First order, isometricZeroth order, isometric

[Salzmann et al, PAMIโ€™09]First order, conformal

Shape-from-Template

Adrien BartoliALCoV-ISIT, Clermont-Ferrand

Florent Brunet, Toby Collins, Vincent Gay-Bellile, Mathieu Perriollat, Daniel Pizarro, Richard Hartley

Computer Vision Mini Workshop

Toulouse, January 24, 2014