Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern.

René Fritze Stephan Rave

Published in: ICTSS (2021)

Keyphrases

numerical algorithms
partial differential equations
pattern matching
multiscale
image processing
image segmentation
computational complexity
high dimensional
denoising
image restoration
numerical methods
fourth order