Learning Guided Enumerative Synthesis for Superoptimization.
Shikhar SinghMengshi ZhangSarfraz KhurshidPublished in: SPIN (2019)
Keyphrases
- learning process
- learning algorithm
- learning systems
- online learning
- learning scheme
- knowledge acquisition
- databases
- learning objects
- decision trees
- artificial intelligence
- supervised learning
- domain knowledge
- artificial neural networks
- design process
- information systems
- background knowledge
- learning tasks
- learning problems
- incremental learning
- inductive learning
- learning phase