Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration.
Suresh C. KothariAhmed TamrawiJeremias SaucedaJon MathewsPublished in: ICSE (Companion Volume) (2016)
Keyphrases
- learning process
- learning algorithm
- learning community
- learning tasks
- lifelong learning
- prior knowledge
- knowledge representation
- collaborative learning
- online learning
- knowledge acquisition
- unsupervised learning
- individual learning
- inductive inference
- operating system
- learning activities
- supervised learning
- reinforcement learning
- knowledge base