Auxiliary Cuts for General Classes of Higher-Order Functionals 1 Ismail Ben Ayed, Lena Gorelick and Yuri Boykov.

Slides:



Advertisements
Similar presentations
POSE–CUT Simultaneous Segmentation and 3D Pose Estimation of Humans using Dynamic Graph Cuts Mathieu Bray Pushmeet Kohli Philip H.S. Torr Department of.
Advertisements

Primal-dual Algorithm for Convex Markov Random Fields Vladimir Kolmogorov University College London GDR (Optimisation Discrète, Graph Cuts et Analyse d'Images)
O BJ C UT M. Pawan Kumar Philip Torr Andrew Zisserman UNIVERSITY OF OXFORD.
ETHEM ALPAYDIN © The MIT Press, Lecture Slides for.
Lena Gorelick Joint work with Frank Schmidt and Yuri Boykov Rochester Institute of Technology, Center of Imaging Science January 2013 TexPoint fonts used.
Medical Image Segmentation: Beyond Level Sets (Ismail’s part) 1.
Learning to Combine Bottom-Up and Top-Down Segmentation Anat Levin and Yair Weiss School of CS&Eng, The Hebrew University of Jerusalem, Israel.
CSCI 347 / CS 4206: Data Mining Module 07: Implementations Topic 03: Linear Models.
Sami Romdhani Volker Blanz Thomas Vetter University of Freiburg
1School of CS&Eng The Hebrew University
Optimization of thermal processes2007/2008 Optimization of thermal processes Maciej Marek Czestochowa University of Technology Institute of Thermal Machinery.
ICCV 2007 tutorial on Discrete Optimization Methods in Computer Vision part I Basic overview of graph cuts.
Graph Laplacian Regularization for Large-Scale Semidefinite Programming Kilian Weinberger et al. NIPS 2006 presented by Aggeliki Tsoli.
Convex Quadratic Programming for Object Location Hao Jiang, Mark S. Drew and Ze-Nian Li School of Computing Science Simon Fraser University.
Continuous optimization Problems and successes
C. Olsson Higher-order and/or non-submodular optimization: Yuri Boykov jointly with Western University Canada O. Veksler Andrew Delong L. Gorelick C. NieuwenhuisE.
GrabCut Interactive Foreground Extraction using Iterated Graph Cuts Carsten Rother Vladimir Kolmogorov Andrew Blake Microsoft Research Cambridge-UK.
Pseudo-Bound Optimization for Binary Energies Presenter: Meng Tang Joint work with Ismail Ben AyedYuri Boykov 1 / 27.
Optimization & Learning for Registration of Moving Dynamic Textures Junzhou Huang 1, Xiaolei Huang 2, Dimitris Metaxas 1 Rutgers University 1, Lehigh University.
Corp. Research Princeton, NJ Computing geodesics and minimal surfaces via graph cuts Yuri Boykov, Siemens Research, Princeton, NJ joint work with Vladimir.
Visual Recognition Tutorial
Robust Higher Order Potentials For Enforcing Label Consistency
Semidefinite Programming
Schedule Introduction Models: small cliques and special potentials Tea break Inference: Relaxation techniques:
Chapter 1 Introduction The solutions of engineering problems can be obtained using analytical methods or numerical methods. Analytical differentiation.
P 3 & Beyond Solving Energies with Higher Order Cliques Pushmeet Kohli Pawan Kumar Philip H. S. Torr Oxford Brookes University CVPR 2007.
Speaker Adaptation for Vowel Classification
A Closed Form Solution to Natural Image Matting
Comp 775: Graph Cuts and Continuous Maximal Flows Marc Niethammer, Stephen Pizer Department of Computer Science University of North Carolina, Chapel Hill.
Expectation-Maximization
Relaxations and Moves for MAP Estimation in MRFs M. Pawan Kumar STANFORDSTANFORD Vladimir KolmogorovPhilip TorrDaphne Koller.
Measuring Uncertainty in Graph Cut Solutions Pushmeet Kohli Philip H.S. Torr Department of Computing Oxford Brookes University.
1 Multiple Kernel Learning Naouel Baili MRL Seminar, Fall 2009.
Graph-based Segmentation
Department of Aerospace and Mechanical Engineering A one-field discontinuous Galerkin formulation of non-linear Kirchhoff-Love shells Ludovic Noels Computational.
Machine Learning CUNY Graduate Center Lecture 3: Linear Regression.
Model Inference and Averaging
MRFs and Segmentation with Graph Cuts Computer Vision CS 543 / ECE 549 University of Illinois Derek Hoiem 02/24/10.
Planar Cycle Covering Graphs for inference in MRFS The Typhon Algorithm A New Variational Approach to Ground State Computation in Binary Planar Markov.
Interactive Graph Cuts for Optimal Boundary & Region Segmentation of Objects in N-D Images (Fri) Young Ki Baik, Computer Vision Lab.
Annealing Paths for the Evaluation of Topic Models James Foulds Padhraic Smyth Department of Computer Science University of California, Irvine* *James.
1 HMM - Part 2 Review of the last lecture The EM algorithm Continuous density HMM.
Lena Gorelick joint work with O. Veksler I. Ben Ayed A. Delong Y. Boykov.
CS 782 – Machine Learning Lecture 4 Linear Models for Classification  Probabilistic generative models  Probabilistic discriminative models.
Algorithms for MAP estimation in Markov Random Fields Vladimir Kolmogorov University College London.
Update any set S of nodes simultaneously with step-size We show fixed point update is monotone for · 1/|S| Covering Trees and Lower-bounds on Quadratic.
CS Statistical Machine learning Lecture 24
Associative Hierarchical CRFs for Object Class Image Segmentation
O BJ C UT M. Pawan Kumar Philip Torr Andrew Zisserman UNIVERSITY OF OXFORD.
A comparison between PROC NLP and PROC OPTMODEL Optimization Algorithm Chin Hwa Tan December 3, 2008.
Embedding Formulations, Complexity and Representability for Unions of Convex Sets Juan Pablo Vielma Massachusetts Institute of Technology CMO-BIRS Workshop:
Yuri Boykov jointly with
Pseudo-Bound Optimization for Binary Energies Meng Tang 1 Ismail Ben Ayed 2 Yuri Boykov 1 1 University of Western Ontario, Canada 2 GE Healthcare Canada.
Bayesian Speech Synthesis Framework Integrating Training and Synthesis Processes Kei Hashimoto, Yoshihiko Nankaku, and Keiichi Tokuda Nagoya Institute.
Chapter 2-OPTIMIZATION G.Anuradha. Contents Derivative-based Optimization –Descent Methods –The Method of Steepest Descent –Classical Newton’s Method.
Geology 5670/6670 Inverse Theory 18 Mar 2015 © A.R. Lowry 2015 Last time: Review of Inverse Assignment 1; Constrained optimization for nonlinear problems.
Segmentation with non-linear constraints on appearance, complexity, and geometry Yuri Boykov Western Univesity Andrew Delong Olga Veksler Lena Gorelick.
Identifying submodules of cellular regulatory networks Guido Sanguinetti Joint work with N.D. Lawrence and M. Rattray.
Bounded Nonlinear Optimization to Fit a Model of Acoustic Foams
GrabCut Interactive Foreground Extraction using Iterated Graph Cuts Carsten Rother Vladimir Kolmogorov Andrew Blake Microsoft Research Cambridge-UK.
Solver & Optimization Problems
A Fast Trust Region Newton Method for Logistic Regression
Advanced Appearance and Shape Models
Roberto Battiti, Mauro Brunato
Expectation-Maximization
Secrets of GrabCut and Kernel K-means
Learning to Combine Bottom-Up and Top-Down Segmentation
Normalized Cut meets MRF
Discrete Optimization Methods Basic overview of graph cuts
Linear Programming Example: Maximize x + y x and y are called
Presentation transcript:

Auxiliary Cuts for General Classes of Higher-Order Functionals 1 Ismail Ben Ayed, Lena Gorelick and Yuri Boykov

Standard Segmentation Functionals 2 S

Historic Data Linear terms are not enough 3 Standard model Learned distributions

Linear terms are not enough 3 Segmentation with log likelihoods Learned distributions

Linear terms are not enough 3 Standard model Target distributions Segmentation with log likelihoods

Linear terms are not enough 3 Standard model Target distributions

Segmentation with log likelihoods Linear terms are not enough 3 Standard model Target distributions

Segmentation with log likelihoods Linear terms are not enough 3 Standard model Learned distributions Obtained distributions

From log-likelihoods to higher-order terms 4 Rother et al. 06, Ben Ayed CVPR 10, Gorelick et al. ECCV 12, Jiang et al. CVPR 12

Standard vs. High-order 5 Input High-order Likelihoods High-order Input

Regional Functional Examples Volume Constraint 6

Bin Count Constraint Regional Functional Examples Volume Constraint 6

7 Contribution: Bound Optimization of General Higher-Order Terms Non-Linear Combination of Linear Terms

Optimization Higher-order Pairwise Sub-modular 8

9 Prior Art: General-Purpose Techniques Based on Functional Derivatives

9 -- Level Sets: Ben Ayed et al. CVPR Line search: Gorelick et al. ECCV 2012 Can be slow

9 -- Level Sets: Ben Ayed et al. CVPR Line search: Gorelick et al. ECCV 2012 F differentiable Prior Art: General-Purpose Techniques Based on Functional Derivatives

9 -- Level Sets: Ben Ayed et al. CVPR Line search: Gorelick et al. ECCV 2012 Parameters? Prior Art: General-Purpose Techniques Based on Functional Derivatives

Prior Art: Specialized Techniques 9  Volume constraint: Werner, CVPR 2008  Norms between bin counts: Mukherjee et al. CVPR 2009, Jiang et al. CVPR 2012  Bhattacharyya : Ben Ayed et al. CVPR 2010, Punithakumar et al. SIAM 2012 Only particular cases

Auxiliary Function Optimization 10

Auxiliary Function Optimization 10

Auxiliary Function Optimization 10

Standard Tricks for Deriving Auxiliary Functions 12 Cauchy-Schwarz inequality Quadratic bound principle First-order expansion Jensen’s inequality  E.g.: EM is based on this approach

Jensen’s Inequality bound 11

Unary Terms Jensen’s Inequality bound

11 Jensen’s Inequality bound

Auxiliary Function Derivation 13

Auxiliary Function Derivation 13

Auxiliary Function Derivation 13

Auxiliary Function Derivation 13 Constant

Auxiliary Function Derivation 13 Sum to 1

Auxiliary Function Derivation 13 Jensen’sLinear auxiliary function

Difference with other methods: the volume constraint case 14

Difference with other methods: the volume constraint case 14 Gradient Descent

Difference with other methods: the volume constraint case 14 Trust Region: Gorelick et al. CVPR 13

Difference with other methods: the volume constraint case 14 Auxiliary Cuts

General Form of the Functionals 15 Higher-order Sub-modular

General Form of the Functionals 15 Linear bound Sub-modular Higher-order Sub-modular

General Form of the Functionals 15 Graph Cut Higher-order Sub-modular Linear bound Sub-modular

Experimental examples

L2 Bin Count (Aux. Cuts vs. Level Sets) Level-Set, dt=1 Level-Set, dt=50 Level-Set, dt=1000 Init Aux. Cuts 16

User input Result User input Iter 2 User input ResultB-J Initial segment Iter. 3Iter L1 Bin Count

18 inputs Input L2 Volume Constraint User input B-J B-J and Volume

Conclusions 19 Advantages: Derivative-free No optimization parameters, e.g., step size Easy to implement Never worsen the energy at each iteration

Conclusions 19 Limitations: The form of F should verify some conditions Limited to nested evolutions of segments

Conclusions 19 Extensions: More general forms of F Arbitrary evolutions of segments

19 inputs Input Thanks