A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
Yong LiYu-Fang ChenLijun ZhangDepeng LiuPublished in: TACAS (1) (2017)
Keyphrases
- classification trees
- learning algorithm
- training data
- decision trees
- logistic regression
- data sets
- inductive learning
- supervised learning
- machine learning
- learning scheme
- machine learning algorithms
- learning problems
- information gain
- class distribution
- semi supervised learning
- test data
- regression trees
- learning tasks
- neural network
- back propagation
- labeled data
- support vector machine
- classification accuracy
- training set
- training examples
- classification algorithm
- naive bayes
- training samples
- least squares
- random forests
- active learning
- pairwise