20 citations · 24 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalizati…
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalizati…