Login / Signup
Towards formal evaluation and verification of probabilistic design.
Nian-Ze Lee
Jie-Hong R. Jiang
Published in:
ICCAD (2014)
Keyphrases
</>
formal evaluation
case study
machine learning
active learning
software architecture
pilot study
computer mediated communication