3 papers
cs.LO2011
Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program
Sylvie Boldo, Francois Clement, Jean-Christophe Filliâtre +3
We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors…
math.NA2010
Image Segmentation with Multidimensional Refinement Indicators
Hend Ben Ameur, Guy Chavent, Francois Clément +1
We transpose an optimal control technique to the image segmentation problem. The idea is to consider image segmentation as a parameter estimation problem. The parameter to estimate…
math.NA2006
The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization
Hend Ben Ameur, François Clément, Pierre Weis +1
The estimation of distributed parameters in partial differential equations (PDE) from measures of the solution of the PDE may lead to under-determination problems. The choice of a…