Active learning sheets for a beginner's course on reasoning about imperative programs.
Kung-Kiu LauPublished in: SIGCSE (2007)
Keyphrases
- imperative programs
- active learning
- dynamic logic
- spatial reasoning
- qualitative reasoning
- learning algorithm
- learning strategies
- training examples
- selective sampling
- training set
- semi supervised
- plan execution
- supervised learning
- learning process
- formal theory
- random sampling
- experimental design
- batch mode
- machine learning
- crowd sourced
- pool based active learning
- imbalanced data classification
- step by step instructions
- modal logic
- feature selection
- data sets
- cost sensitive
- labeled data
- knowledge representation
- active learning framework
- high level