ICE: A Robust Framework for Learning Invariants.
Pranav GargChristof LödingP. MadhusudanDaniel NeiderPublished in: CAV (2014)
Keyphrases
- learning process
- online learning
- distributed learning
- dynamic bayesian networks
- learning scheme
- main contribution
- bayesian networks
- prior knowledge
- supervised learning
- genetic algorithm
- theoretical framework
- learning analytics
- mobile learning
- neural network
- kernel learning
- learning mechanism
- learning algorithm
- multi task
- incremental learning
- learning tasks
- reinforcement learning
- computer vision
- data sets
- learning objects
- active learning
- mobile devices