From Helena Ensemble Specifications to Executable Code.
Annabelle KlarlLucia CichellaRolf HennickerPublished in: FACS (2014)
Keyphrases
- control flow
- formal specification
- attribute grammars
- code generation
- data flow
- ensemble methods
- unit testing
- source code
- concurrent systems
- random forests
- software testing
- process algebra
- specification language
- neural network
- process model
- training data
- ensemble learning
- base classifiers
- operational semantics
- pruning algorithm
- delay insensitive
- classifier ensemble
- weak learners
- multi class
- error correcting
- training set
- web services
- learning algorithm