Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5.
Ricardo CaferraStéphane DemriPublished in: IJCAI (1993)
Keyphrases
- synthetic data
- classification method
- clustering method
- significant improvement
- dynamic programming
- experimental evaluation
- high accuracy
- edge detection
- neural network
- similarity measure
- decision trees
- support vector machine
- multiresolution
- support vector machine svm
- optimization algorithm
- detection algorithm
- statistical model
- feature selection