Login / Signup
Formal Proof of a Wave Equation Resolution Scheme: The Method Error.
Sylvie Boldo
François Clément
Jean-Christophe Filliâtre
Micaela Mayero
Guillaume Melquiond
Pierre Weis
Published in:
ITP (2010)
Keyphrases
</>
high resolution
probability distribution
segmentation algorithm
formal proof
bayesian networks
image analysis
higher order
edge detection
computationally efficient
segmentation method
matching algorithm
error accumulation