Programming and Verifying Component Ensembles.
Rocco De NicolaAlberto Lluch-LafuenteMichele LoretiAndrea MorichettaRosario PuglieseValerio SenniFrancesco TiezziPublished in: FPS@ETAPS (2014)
Keyphrases
- oriented programming
- real time
- programming language
- decision trees
- computer programming
- model checking
- ensemble methods
- neural network ensembles
- neural network ensemble
- computer programs
- ensemble learning
- software components
- relational databases
- computer science
- database systems
- knowledge base
- artificial intelligence