Login / Signup

Unifying theories of healthiness condition.

Jifeng HeC. A. R. Hoare
Published in: APSEC (2000)
Keyphrases
  • sufficient conditions
  • theoretical framework
  • multiscale
  • artificial intelligence
  • three dimensional
  • database systems
  • bayesian networks
  • special case
  • hidden markov models
  • domain knowledge
  • defeasible logic