QPC: QJ-based Proof Compiler - Simple Examples and Analysis.

Yukihide Takayama

Published in: ESOP (1988)

Keyphrases

simple examples
image analysis
information systems
prior knowledge
dynamic programming
probabilistic model
general purpose
distributed memory machines