Login / Signup

A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.

Panagiotis ManoliosSudarshan K. Srinivasan
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2008)
Keyphrases
  • main contribution
  • bayesian networks
  • probabilistic reasoning
  • logical framework
  • theoretical framework
  • real world
  • artificial intelligence
  • website
  • decision trees
  • video sequences
  • conceptual framework
  • batch processing