Skip to main content
Top

2013 | OriginalPaper | Chapter

9. A Brief Survey on Semi-Lagrangian Schemes for Image Processing

Authors : Elisabetta Carlini, Maurizio Falcone, Adriano Festa

Published in: Innovations for Shape Analysis

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this survey we present some semi-Lagrangian schemes for the approximation of weak solutions of first and second order differential problems related to image processing and computer vision. The general framework is given by the theory of viscosity solutions and, in some cases, of calculus of variations. The schemes proposed here have interesting stability properties for evolutive problems since they allow for large time steps, can deal with degenerate problems and are more accurate if compared to standard finite difference/element methods of the same order. Several examples on classical problems will illustrate these properties.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Alvarez, L., Lions, P.L., Morel, J.M.: Image selective smoothing and edge detection by nonlinear diffusion. SIAM J. Numer. Anal. 29, 845–866 (1992)MathSciNetMATHCrossRef Alvarez, L., Lions, P.L., Morel, J.M.: Image selective smoothing and edge detection by nonlinear diffusion. SIAM J. Numer. Anal. 29, 845–866 (1992)MathSciNetMATHCrossRef
2.
go back to reference Alvarez, L., Guichard, F., Lions, P.L., Morel, J.M.: Axioms and fundamental equations of image processing. Arch. Ration. Mech. 123, 199–257 (1993)MathSciNetMATHCrossRef Alvarez, L., Guichard, F., Lions, P.L., Morel, J.M.: Axioms and fundamental equations of image processing. Arch. Ration. Mech. 123, 199–257 (1993)MathSciNetMATHCrossRef
3.
go back to reference Amiaz, T., Kiryati, N.: Piecewise-smooth dense optical flow via level sets. Int. J. Comput. Vis. 68(2), 111–124 (2006)CrossRef Amiaz, T., Kiryati, N.: Piecewise-smooth dense optical flow via level sets. Int. J. Comput. Vis. 68(2), 111–124 (2006)CrossRef
4.
go back to reference Barles, G.: Solutions de Viscositè des Equations d’Hamilton–Jacobi. Springer, New York (1998) Barles, G.: Solutions de Viscositè des Equations d’Hamilton–Jacobi. Springer, New York (1998)
5.
go back to reference Barron, J.L., Fleet, D.J., Beauchemin, S.S.: Performance of optical flow techniques. Int. J. Comput. Vis. 12, 75–104 (1996) Barron, J.L., Fleet, D.J., Beauchemin, S.S.: Performance of optical flow techniques. Int. J. Comput. Vis. 12, 75–104 (1996)
6.
go back to reference Brenner S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods, 3rd edn. Springer, New York (2008)MATHCrossRef Brenner S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods, 3rd edn. Springer, New York (2008)MATHCrossRef
7.
go back to reference Brent, R.: Algorithms for Minimization Without Derivatives. Pentice–Hall, Englewood Cliffs (1973)MATH Brent, R.: Algorithms for Minimization Without Derivatives. Pentice–Hall, Englewood Cliffs (1973)MATH
8.
go back to reference Breuss, M., Cristiani, E., Durou, J.D., Falcone, M., Vogel, O.: Numerical algorithms for perspective shape from shading. Kybernetika 46, 207–225 (2010)MathSciNetMATH Breuss, M., Cristiani, E., Durou, J.D., Falcone, M., Vogel, O.: Numerical algorithms for perspective shape from shading. Kybernetika 46, 207–225 (2010)MathSciNetMATH
9.
go back to reference Brox, T., Bruhn, A., Papenberg, N., Weickert, J.: High Accuracy Optical Flow Estimation Based on a Theory for Warping. Lecture Notes in Computer Science, pp. 25–36. Springer, Berlin (2004) Brox, T., Bruhn, A., Papenberg, N., Weickert, J.: High Accuracy Optical Flow Estimation Based on a Theory for Warping. Lecture Notes in Computer Science, pp. 25–36. Springer, Berlin (2004)
10.
go back to reference Brox, T., Bruhn, A., Weickert, J.: Variational segmentation with level sets. In: Computer Vision-ECCV, Graz, pp. 471–483 (2006) Brox, T., Bruhn, A., Weickert, J.: Variational segmentation with level sets. In: Computer Vision-ECCV, Graz, pp. 471–483 (2006)
11.
go back to reference Camilli, F., Falcone, M.: An approximation scheme for the maximal solution of the shape-from-shading model. In: Proceedings ICIP 96, vol. I, pp. 49–52. IEEE, Piscataway (1996) Camilli, F., Falcone, M.: An approximation scheme for the maximal solution of the shape-from-shading model. In: Proceedings ICIP 96, vol. I, pp. 49–52. IEEE, Piscataway (1996)
12.
go back to reference Carlini, E., Ferretti, R.: A semi-Lagrangian approximation for the AMSS model of image processing. submitted to Applied Numerical Mathematics (in press) Carlini, E., Ferretti, R.: A semi-Lagrangian approximation for the AMSS model of image processing. submitted to Applied Numerical Mathematics (in press)
13.
go back to reference Carlini, E., Ferretti, R., Russo, G.: A weighted essentially non oscillatory, large time-step scheme for Hamilton Jacobi equations. SIAM J. Sci. Comput. 27(3), 1071–1091 (2005)MathSciNetMATHCrossRef Carlini, E., Ferretti, R., Russo, G.: A weighted essentially non oscillatory, large time-step scheme for Hamilton Jacobi equations. SIAM J. Sci. Comput. 27(3), 1071–1091 (2005)MathSciNetMATHCrossRef
14.
go back to reference Carlini, E., Falcone, M., Ferretti, R.: Convergence of a large time-step scheme for mean curvature motion. Interface Free Bound. 12, 409–441 (2010)MathSciNetMATHCrossRef Carlini, E., Falcone, M., Ferretti, R.: Convergence of a large time-step scheme for mean curvature motion. Interface Free Bound. 12, 409–441 (2010)MathSciNetMATHCrossRef
15.
go back to reference Catté, F., Dibos, F., Koepfler, G.: A morphological scheme for mean curvature motion and applications to anisotropic diffusion and motion of level sets. SIAM J. Numer. Anal. 32, 1895–1909 (1995)MathSciNetMATHCrossRef Catté, F., Dibos, F., Koepfler, G.: A morphological scheme for mean curvature motion and applications to anisotropic diffusion and motion of level sets. SIAM J. Numer. Anal. 32, 1895–1909 (1995)MathSciNetMATHCrossRef
16.
go back to reference Chan, T., Vese, L.: Active contours without edges. IEEE Trans. Image Process. 10(2), 266–277 (2001)MATHCrossRef Chan, T., Vese, L.: Active contours without edges. IEEE Trans. Image Process. 10(2), 266–277 (2001)MATHCrossRef
17.
go back to reference Chan, T., Sandberg, B., Vese, L.: Active contours without edges for vector-valued images. J. Vis. Commun. Image R. 11(2), 130–141 (2000)CrossRef Chan, T., Sandberg, B., Vese, L.: Active contours without edges for vector-valued images. J. Vis. Commun. Image R. 11(2), 130–141 (2000)CrossRef
18.
go back to reference Chen, Y.G., Giga, Y., Goto, S.: Uniqueness and existence of viscosity solutions of generalized mean curvature flow equation. J. Diff. Geom. 33, 749–786 (1991)MathSciNetMATH Chen, Y.G., Giga, Y., Goto, S.: Uniqueness and existence of viscosity solutions of generalized mean curvature flow equation. J. Diff. Geom. 33, 749–786 (1991)MathSciNetMATH
19.
go back to reference Courant, R., Isaacson, E., Rees, M.: On the solution of nonlinear hyperbolic differential equations by finite differences. Commun. Pure Appl. Math. 5, 243–255 (1952)MathSciNetMATHCrossRef Courant, R., Isaacson, E., Rees, M.: On the solution of nonlinear hyperbolic differential equations by finite differences. Commun. Pure Appl. Math. 5, 243–255 (1952)MathSciNetMATHCrossRef
20.
go back to reference Courteille, F., Crouzil, A., Durou, J.D., Gurdjos, P.: Towards shape from shading under realistic photographic conditions, Int. C. Patt. Recog.- ICPR 2004, Cambridge, vol. 2, pp. 277–280 (2004) Courteille, F., Crouzil, A., Durou, J.D., Gurdjos, P.: Towards shape from shading under realistic photographic conditions, Int. C. Patt. Recog.- ICPR 2004, Cambridge, vol. 2, pp. 277–280 (2004)
21.
22.
go back to reference Crandall, M.G., Ishii, H., Lions, P.L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1–67 (1992)MathSciNetMATHCrossRef Crandall, M.G., Ishii, H., Lions, P.L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1–67 (1992)MathSciNetMATHCrossRef
23.
go back to reference Cremers, D., Soatto, S.: Motion competition: a variational framework for piecewise parametric motion segmentation. Int. J. Comput. Vis. 63, 249–265 (2005)CrossRef Cremers, D., Soatto, S.: Motion competition: a variational framework for piecewise parametric motion segmentation. Int. J. Comput. Vis. 63, 249–265 (2005)CrossRef
24.
go back to reference Cristiani, E., Falcone, M.: Fast semi-Lagrangian schemes for the eikonal equation and applications. SIAM J. Numer. Anal. 45(5), 1979–2011 (2007)MathSciNetMATHCrossRef Cristiani, E., Falcone, M.: Fast semi-Lagrangian schemes for the eikonal equation and applications. SIAM J. Numer. Anal. 45(5), 1979–2011 (2007)MathSciNetMATHCrossRef
25.
go back to reference Cristiani, E., Falcone, M., Seghini, A.: Numerical solution of the shape-from-shading problem. In: Proceedings of Science POS (CSTNA2005) 008, 1–17, Electronic Journal site http://pos.sissa.it/ Cristiani, E., Falcone, M., Seghini, A.: Numerical solution of the shape-from-shading problem. In: Proceedings of Science POS (CSTNA2005) 008, 1–17, Electronic Journal site http://​pos.​sissa.​it/​
26.
go back to reference De Giorgi, E.: New functionals in calculus of variations, nonsmooth optimization and related topics. In: Proceedings of the Fourth Course of the International School of Mathematics, Erice (1988) De Giorgi, E.: New functionals in calculus of variations, nonsmooth optimization and related topics. In: Proceedings of the Fourth Course of the International School of Mathematics, Erice (1988)
27.
go back to reference Durou, J.D., Falcone, M., Sagona, M.: Numerical methods for shape from shading: a new survey with benchmarks. Comput. Vis. Image Underst. Elsevier 109, 22–43 (2008)CrossRef Durou, J.D., Falcone, M., Sagona, M.: Numerical methods for shape from shading: a new survey with benchmarks. Comput. Vis. Image Underst. Elsevier 109, 22–43 (2008)CrossRef
28.
go back to reference Evans, L.C.: Partial Differential Equations. AMS, Providence (2010)MATH Evans, L.C.: Partial Differential Equations. AMS, Providence (2010)MATH
29.
go back to reference Evans, L.C., Spruck, J.: Motion of level sets by mean curvature. Int. J. Diff. Geom. 33, 635–681 (1991)MathSciNetMATH Evans, L.C., Spruck, J.: Motion of level sets by mean curvature. Int. J. Diff. Geom. 33, 635–681 (1991)MathSciNetMATH
30.
go back to reference Falcone, M.: The minimum time problem and its applications to front propagation. In: Motion by Mean Curvature and Related Topics. De Gruyter Verlag, Berlino (1994) Falcone, M.: The minimum time problem and its applications to front propagation. In: Motion by Mean Curvature and Related Topics. De Gruyter Verlag, Berlino (1994)
31.
go back to reference Falcone, M., Ferretti, R.: Convergence analysis for a class of high-order semi-Lagrangian advection schemes. SIAM J. Numer. Anal. 35(3), 909–940 (1998)MathSciNetMATHCrossRef Falcone, M., Ferretti, R.: Convergence analysis for a class of high-order semi-Lagrangian advection schemes. SIAM J. Numer. Anal. 35(3), 909–940 (1998)MathSciNetMATHCrossRef
32.
go back to reference Falcone, M., Ferretti, R.: Semi-Lagrangian Approximation Schemes for Linear and Hamilton-Jacobi Equations. SIAM, in preparation Falcone, M., Ferretti, R.: Semi-Lagrangian Approximation Schemes for Linear and Hamilton-Jacobi Equations. SIAM, in preparation
33.
go back to reference Falcone, M., Sagona, M., Seghini, A.: A global algorithm for the Shape-from-Shading problem with black shadows. Numerical Mathematics and Advanced Applications ENUMATH 2001, pp. 503–512. Springer, Milano (2003) Falcone, M., Sagona, M., Seghini, A.: A global algorithm for the Shape-from-Shading problem with black shadows. Numerical Mathematics and Advanced Applications ENUMATH 2001, pp. 503–512. Springer, Milano (2003)
34.
go back to reference Guichard, F., Morel, J.M.: Image Analysis and P.D.E.s. IPAM GBM Tutorial, March 27–April 6 (2001) Guichard, F., Morel, J.M.: Image Analysis and P.D.E.s. IPAM GBM Tutorial, March 27–April 6 (2001)
35.
go back to reference Horn, B.K.P., Brooks M.J. (eds.): Shape from Shading. MIT, Cambridge (1989) Horn, B.K.P., Brooks M.J. (eds.): Shape from Shading. MIT, Cambridge (1989)
36.
go back to reference Horn, B.K.P., Schunck, B.: Determinig optical flow. Artif. Intell. 17, 185–203 (1981)CrossRef Horn, B.K.P., Schunck, B.: Determinig optical flow. Artif. Intell. 17, 185–203 (1981)CrossRef
37.
38.
go back to reference Morel, J.M., Solimini, S.: Segmentation of images by variational methods: a constructive approach. Rev. Mat. Univ. Compl. de Madr. 1, 169–182 (1988)MathSciNetMATH Morel, J.M., Solimini, S.: Segmentation of images by variational methods: a constructive approach. Rev. Mat. Univ. Compl. de Madr. 1, 169–182 (1988)MathSciNetMATH
39.
go back to reference Mumford, D., Shah, J.: Boundary detection by minimizing functional. In: Proceedings of the CVPR, pp. 22–26. IEEE, Silver Spring (1985) Mumford, D., Shah, J.: Boundary detection by minimizing functional. In: Proceedings of the CVPR, pp. 22–26. IEEE, Silver Spring (1985)
40.
go back to reference Mumford, D., Shah, J.: Optimal approximations by piecewise smooth functions and associated variational problems. Comm. Pure Appl. Math. XLII, 577–685 (1989) Mumford, D., Shah, J.: Optimal approximations by piecewise smooth functions and associated variational problems. Comm. Pure Appl. Math. XLII, 577–685 (1989)
41.
go back to reference Oberman, A.M.: A convergent monotone difference scheme for motion of level sets by mean curvature. Numer. Math. 99, 365–379 (2004)MathSciNetMATHCrossRef Oberman, A.M.: A convergent monotone difference scheme for motion of level sets by mean curvature. Numer. Math. 99, 365–379 (2004)MathSciNetMATHCrossRef
42.
go back to reference Osher, S.J., Fedkiw, R.P.: Level Set Methods and Dynamic Implicit Surfaces. Applied Mathematical Sciences, vol. 153. Springer, New York (2003) Osher, S.J., Fedkiw, R.P.: Level Set Methods and Dynamic Implicit Surfaces. Applied Mathematical Sciences, vol. 153. Springer, New York (2003)
43.
go back to reference Osher, S.J., Sethian, J.A.: Front propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulation. J. Comput. Phys. 79, 12–49 (1988)MathSciNetMATHCrossRef Osher, S.J., Sethian, J.A.: Front propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulation. J. Comput. Phys. 79, 12–49 (1988)MathSciNetMATHCrossRef
44.
go back to reference Prados, E., Faugeras, O.: Perspective Shape-from-Shading and viscosity solutions. In: Proceedings of ICCV’03, pp. 826–831. IEEE, Los Alamitos (2003) Prados, E., Faugeras, O.: Perspective Shape-from-Shading and viscosity solutions. In: Proceedings of ICCV’03, pp. 826–831. IEEE, Los Alamitos (2003)
45.
go back to reference Sethian, J.A.: Level Set Methods and Fast Marching Methods Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science. Cambridge Monograph on Applied and Computational Mathematics. Cambridge University Press, Cambridge (1999)MATH Sethian, J.A.: Level Set Methods and Fast Marching Methods Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science. Cambridge Monograph on Applied and Computational Mathematics. Cambridge University Press, Cambridge (1999)MATH
46.
go back to reference Strikwerda, J.C.: Finite Difference Schemes and Partial Differential Equations, 2nd edn. SIAM, Philadelphia (2004)MATHCrossRef Strikwerda, J.C.: Finite Difference Schemes and Partial Differential Equations, 2nd edn. SIAM, Philadelphia (2004)MATHCrossRef
48.
go back to reference Vese, L., Chan, T.: A multiphase level set framework for image segmentation using the Mumford and Shah model. Int. J. Comput. Vis. 50, 271–293 (2002)MATHCrossRef Vese, L., Chan, T.: A multiphase level set framework for image segmentation using the Mumford and Shah model. Int. J. Comput. Vis. 50, 271–293 (2002)MATHCrossRef
49.
go back to reference Zhao, H., Chan, T., Merriman, B., Osher, S.J.: A variational level set approach to multiphase motion. J. Comput. Phys. 127, 179–195 (1996)MathSciNetMATHCrossRef Zhao, H., Chan, T., Merriman, B., Osher, S.J.: A variational level set approach to multiphase motion. J. Comput. Phys. 127, 179–195 (1996)MathSciNetMATHCrossRef
Metadata
Title
A Brief Survey on Semi-Lagrangian Schemes for Image Processing
Authors
Elisabetta Carlini
Maurizio Falcone
Adriano Festa
Copyright Year
2013
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-34141-0_9

Premium Partner