Sound and complete models of contracts.

Matthias Blume David A. McAllester

Published in: J. Funct. Program. (2006)

Keyphrases

search engine
data structure
prior knowledge
complex systems
image processing
image segmentation
expert systems
statistical methods