GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions.
Christopher B. HarrisIan G. HarrisPublished in: DATE (2016)
Keyphrases
- natural language
- learning process
- real time
- formal language
- learning systems
- learning algorithm
- knowledge acquisition
- prior knowledge
- image processing
- natural language processing
- low cost
- online learning
- reinforcement learning
- learning problems
- written in natural language
- grammar induction
- knowledge base
- grammatical inference
- conceptual graphs
- inductive inference
- hardware implementation
- learning analytics
- background knowledge
- knowledge representation