• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Compositional and Lightweight Dependent Type Inference for ML.

He ZhuSuresh Jagannathan
Published in: VMCAI (2013)
Keyphrases
  • lightweight
  • maximum likelihood
  • inference process
  • rfid tags
  • bayesian networks