Sound, heuristic type annotation inference for Ruby.
Milod KazerounianBrianna M. RenJeffrey S. FosterPublished in: DLS (2020)
Keyphrases
- probabilistic inference
- semantic annotation
- programming language
- dynamic programming
- neural network
- database driven
- inference process
- heuristic methods
- inference engine
- image annotation
- active learning
- objective function
- semi automatic
- constraint satisfaction
- image retrieval
- search strategies
- search algorithm
- bayesian inference
- bayesian networks
- metadata
- artificial intelligence
- database