Login / Signup

Property-Directed Inference of Universal Invariants or Proving Their Absence.

Aleksandr KarbyshevNikolaj BjørnerShachar ItzhakyNoam RinetzkySharon Shoham
Published in: CAV (1) (2015)
Keyphrases
  • probabilistic inference
  • bayesian networks
  • inference process
  • data sets
  • data mining
  • bayesian inference
  • decision theoretic
  • moment invariants