Mechanized Support for Stepwise Refinement.

Jan L. A. van de Snepscheut

Published in: Programming Languages and System Architectures (1994)

Keyphrases

medical images
computer vision
case study
database systems
real time
data sets
machine learning
learning algorithm
knowledge base
three dimensional
end users
decision support