Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference.
David A. McAllesterPublished in: RTA (2003)
Keyphrases
- learning algorithm
- invited talk
- dynamic programming
- computational complexity
- preprocessing
- search space
- k means
- cost function
- expectation maximization
- matching algorithm
- objective function
- probabilistic model
- detection algorithm
- np hard
- inference process
- belief networks
- knowledge discovery
- database
- optimal solution
- real world