VERIFUL: VERIfication using FUnctional Learning.
Rajarshi MukherjeeJawahar JainMasahiro FujitaPublished in: ED&TC (1995)
Keyphrases
- learning systems
- reinforcement learning
- computer programming
- learning algorithm
- incremental learning
- online learning
- expert systems
- inductive learning
- learning tasks
- model checking
- active learning
- learning process
- databases
- bayesian networks
- multimedia
- computer vision
- artificial intelligence
- information retrieval
- machine learning