A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems.
Tadashi AraragiPublished in: TABLEAUX (1992)
Keyphrases
- significant improvement
- computational cost
- high accuracy
- clustering method
- preprocessing
- high precision
- dynamic programming
- segmentation method
- complex systems
- optimization method
- experimental evaluation
- support vector machine svm
- detection method
- feature set
- classification method
- detection algorithm
- model selection
- bayesian networks
- classification accuracy
- expert systems
- objective function