Login / Signup

Towards formal evaluation and verification of probabilistic design.

Nian-Ze LeeJie-Hong R. Jiang
Published in: ICCAD (2014)
Keyphrases
  • formal evaluation
  • case study
  • machine learning
  • active learning
  • software architecture
  • pilot study
  • computer mediated communication