Login / Signup
Compositional and Lightweight Dependent Type Inference for ML.
He Zhu
Suresh Jagannathan
Published in:
VMCAI (2013)
Keyphrases
</>
lightweight
maximum likelihood
inference process
rfid tags
bayesian networks