Proof Protocol for a Machine Learning Technique Making Longitudinal Predictions in Dynamic Contexts.
Kevin B. PrattPublished in: KDD (2015)
Keyphrases
- machine learning
- dynamic environments
- data sets
- learning algorithm
- computer vision
- learning tasks
- network protocols
- theorem proving
- lightweight
- text mining
- knowledge acquisition
- coloured petri nets
- formal proof
- tcp ip
- formal analysis
- model selection
- natural language processing
- information extraction
- support vector machine
- pattern recognition
- database systems
- decision trees
- artificial intelligence
- data mining