Programmed Strategies for Program Verification.

Richard B. Kieburtz

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

three dimensional
high quality
image processing
data structure
search algorithm
multiresolution
hidden markov models
probability distribution