Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC.
Yuan ZhouHanyu WangJieming YinZhiru ZhangPublished in: DAC (2021)
Keyphrases
- machine learning
- machine learning methods
- classical logic
- test bed
- logic programming
- computational intelligence
- support vector machine
- explanation based learning
- case study
- knowledge acquisition
- automated reasoning
- machine learning approaches
- routing algorithm
- natural language processing
- active learning
- reinforcement learning
- knowledge representation
- learning algorithm
- artificial intelligence
- inductive learning
- computer science
- learning systems
- model selection
- data mining
- data analysis
- pattern recognition
- computer vision
- multi valued
- predicate logic
- multi processor