Verified Compilation in micro-Gypsy.

William D. Young

Published in: Symposium on Testing, Analysis, and Verification (1989)

Keyphrases

databases
computer vision
information systems
small number
knowledge compilation
pattern recognition
machine learning
data analysis
image analysis