Enhancing cleanroom techniques with refinement calculus.

Michael R. Donat

Published in: CASCON (1995)

Keyphrases

refinement process
automated deduction
computer vision
query refinement
formal language
step wise
image processing
similarity measure
digital libraries
knowledge representation
computer algebra