Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.
Robert John WaltersPublished in: COMPSAC (2003)
Keyphrases
- models built
- modelling language
- formal semantics
- classification models
- uci machine learning repository
- learning scenarios
- learning design
- incomplete data
- concept drift
- feature selection
- ims ld
- learning capabilities
- imbalanced data
- data streams
- sampled data
- learning resources
- storage cost
- learning environment
- training data