Boosting Reversible Pushdown Machines by Preprocessing.
Holger Bock AxelsenMartin KutribAndreas MalcherMatthias WendlandtPublished in: RC (2016)
Keyphrases
- preprocessing
- feature extraction
- cellular automata
- model checking
- post processing
- markov chain
- early stopping
- preprocessing phase
- ensemble methods
- feature selection
- ensemble learning
- preprocessing step
- information systems
- object detection
- training set
- knowledge base
- boosting algorithms
- adaboost algorithm
- weak learners
- preprocessing stage
- boosting framework
- gradient boosting
- data sets