540 likes | 652 Views
Minimal Surfaces for Stereo. Chris Buehler, Steven J. Gortler, Michael F. Cohen, Leonard McMillan MIT, Harvard Microsoft Research, MIT. Motivation. Optimization based stereo over greed based No early commitment Enforce interactions: each pixel sees unique item
E N D
Minimal Surfaces for Stereo Chris Buehler, Steven J. Gortler, Michael F. Cohen, Leonard McMillan MIT, Harvard Microsoft Research, MIT
Motivation • Optimization based stereo over greed based • No early commitment • Enforce interactions: each pixel sees unique item • Penalize interactions: non-smoothness
Stereo by Optimization • Early algorithms: dynamic programming • (Baker ‘81, Belumeur & Mumford ‘92…) • Don’t generalize beyond 2 camera, single scanline
Stereo by Optimization • Recent Algorithms: iterative a-expansion • (… Kolmogorov & Zabih ‘01) • very general • NP-Complete • Local opt found quickly in practice • Recent algorithms: MIN-CUT • (Roy & Cox ‘96, Ishikawa & Geiger ‘98) • Polynomial time global optimum • New interpretation to such methods
Contributions • Stereo as a discrete minimal surface problem • Algorithms: Polynomial time globally optimal surface • Using MIN-CUT (Sullivan ‘90) • Build from shortest path • Applications to stereo vision • Rederive previous MIN-CUT stereo approaches • New 3-camera stereo formulation (Ayache ‘88)
Planar Graph Shortest Path • Given: an embedded planar graph • faces, edges, vertices
Planar Graph Shortest Path • A non negative cost on each edge 57
Planar Graph Shortest Path • Two boundary points on the exterior of the complex
Planar Graph Shortest Path • Find minimal curve: (collection of edges) with given boundary
Selected Match Selected Occlusion Camera Left Camera Right Planar Graph For stereo
Algorithms • Classic: Dijkstra’s • Works even for non-planar graphs • Wacky: use duality • But this will generalize to higher dimension
Duality • face vertex • edgecross edge • - same cost 57
Duality • Split exterior
Sink Source Source Duality • Add source and sink
Sink Source Cuts • Cuts of dual graph = partitions of dual verts • Cost = sum of dual edges spanning the partition • MIN-CUT can be found in polynomial time
Sink Source Cuts • Claim: Primalization of MIN-CUT will be shortest path
Sink Sink Source Source Why this works • Cuts of dual graph = partitions of dual verts
Sink Sink Source Source Why this works • Partition of dual verts = partition of primal faces
Sink Sink Sink Source Source Source Why this works • Partition of primal faces = primal path
Sink Sink Sink Source Source Source Why this works • Cuts in dual correspond to paths in primal • MIN-CUT in dual corresponds to shortest path in primal
Increasing the dimension Planar graph: verts, edges, faces cost on edges boundary: 2 points on exterior sol: min path Spacial compex: verts, edges, faces, cells cost on faces boundary: loop on exterior sol: min surface
Increasing the dimension Planar graph: verts, edges, faces boundary: 2 points on exterior sol: min path Spacial compex: verts, edges, faces, cells cost on faces boundary: loop on exterior sol: min surface
Increasing the dimension Planar graph: verts, edges, faces boundary: 2 points on exterior sol: min path Spacial compex: verts, edges, faces, cells cost on faces boundary: loop on exterior sol: min surface
Sink Source Dual construction for min surf • face vertex • edgecross edge • cell vertex • face cross edge MIN-CUT primalizes to min surf
Checkpoint • Solve for minimal paths and surfaces • MIN-CUT on dual graph • Apply these algorithms to stereo vision
Flatland Stereo Geometric interpretation of Cox et al. 96 pixel Camera Left Camera Right
Flatland Stereo Geometric interpretation of Cox et al. 96 pixel Camera Left Camera Right
Flatland Stereo Cost: unmatched/discontinuity, β Camera Left Camera Right
Flatland Stereo Cost: correspondence quality Camera Left Camera Right
Camera Left Camera Right Flatland Stereo
Match Unmatched Camera Left Camera Right Flatland Stereo Uniqueness & monotonicity solution is directed path
Camera Left Camera Right Flatland Stereo Note: unmatched pixels also function as discontinuities Occlusion, discontinuity Match
Flatland to Fatland Camera Left Camera Right
Flatland to Fatland Camera Left Camera Right
One Cuboid Among Many Solve for minimal surface
Three Camera Rectification (Ayache ‘88)
One Cuboid Among Many Solve for minimal surface