Advanced Verification Techniques Based on Learning.
Jawahar JainRajarshi MukherjeeMasahiro FujitaPublished in: DAC (1995)
Keyphrases
- learning algorithm
- online learning
- knowledge acquisition
- artificial intelligence
- databases
- unsupervised learning
- domain knowledge
- elementary school
- learning problems
- learning tasks
- background knowledge
- learning systems
- empirical studies
- supervised learning
- active learning
- multiscale
- bayesian networks
- training data
- case study
- decision trees