Investigating Type-Certifying Compilation with Isabelle.

Martin Strecker

Published in: LPAR (2002)

Keyphrases

artificial intelligence
computer vision
end users
decision making
knowledge base
decision trees
image segmentation
bayesian networks
cooperative
theorem prover