Sign in

Sound and complete models of contracts.

Matthias BlumeDavid 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