Subtype polymorphism à la carte via machine learning on dependent types.
Jerry SwanColin G. JohnsonEdwin C. BradyPublished in: ISSTA/ECOOP Workshops (2018)
Keyphrases
- machine learning
- data analysis
- information extraction
- machine learning methods
- computer science
- knowledge acquisition
- machine learning and data mining
- inductive learning
- inductive logic programming
- learning tasks
- website
- decision trees
- computational intelligence
- active learning
- text classification
- semi supervised learning
- statistical learning
- application of machine learning methods
- text mining
- knowledge discovery
- database
- pattern recognition
- multiscale
- knowledge base
- decision making
- feature selection
- computer vision
- information retrieval
- data mining