Dynamic Type Inference for Gradual Hindley-Milner Typing.
Yusuke MiyazakiTaro SekiyamaAtsushi IgarashiPublished in: CoRR (2018)
Keyphrases
- probabilistic inference
- multi agent
- databases
- feature selection
- bayesian networks
- learning environment
- inference process
- database
- dynamically changing
- bayesian model
- dynamic environments
- multiresolution
- artificial neural networks
- search algorithm
- data structure
- objective function
- three dimensional
- image processing
- decision making
- machine learning