Login / Signup

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

Joost-Pieter KatoenAnnabelle McIverLarissa MeinickeCarroll C. Morgan
Published in: SAS (2010)
Keyphrases
  • machine learning
  • significant improvement
  • computational cost
  • bayesian networks
  • preprocessing
  • empirical studies
  • data sets
  • feature selection
  • data driven
  • benchmark datasets
  • machine learning methods
  • theorem proving