BooM: a decision procedure for boolean matching with abstraction and dynamic learning.
Chih-Fan LaiJie-Hong R. JiangKuo-Hua WangPublished in: DAC (2010)
Keyphrases
- learning problems
- learning algorithm
- online learning
- knowledge acquisition
- learning tasks
- data sets
- supervised learning
- learning process
- artificial neural networks
- reinforcement learning
- prior knowledge
- decision trees
- decision makers
- feature points
- unsupervised learning
- dynamic environments
- decision problems
- decision making
- real valued
- learning scenarios
- incremental learning
- shape matching