On decision tree verification and consolidation.
David Chenho KungPublished in: Inf. Softw. Technol. (1994)
Keyphrases
- decision trees
- decision tree induction
- logistic regression
- model checking
- face verification
- naive bayes
- attribute selection
- machine learning algorithms
- decision tree algorithm
- information gain
- databases
- decision tree learning
- formal verification
- formal analysis
- training set
- tree construction
- functional verification
- feature construction
- formal methods
- data center
- decision rules
- bayesian networks
- machine learning