Denkprothesen e: on programs that reason.

Michael W. Dwyer

Published in: Comput. Intell. (1991)

Keyphrases

real world
computer programs
artificial intelligence
image processing
three dimensional
machine learning
clustering algorithm
decision trees
bayesian networks
preprocessing
medical images
test cases
fixpoint
control structures
control program
provably correct