Building PDE codes to be verifiable and validatable.

Patrick J. Roache

Published in: Comput. Sci. Eng. (2004)

Keyphrases

partial differential equations
level set
error correction
sufficient conditions
real time
database
decision trees
video sequences
wavelet transform
image compression
image enhancement
high order
anisotropic diffusion
boundary conditions
image magnification