Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Marisa NavarroFernando OrejasJean-Luc RémyPublished in: Acta Informatica (1993)
Keyphrases
- high accuracy
- cost function
- experimental evaluation
- computational cost
- preprocessing
- optimization method
- classification method
- synthetic data
- significant improvement
- clustering method
- support vector machine
- edge detection
- theoretical analysis
- optimization algorithm
- theorem proving
- objective function
- support vector machine svm
- dynamic programming
- prior knowledge
- multiresolution
- artificial neural networks
- computational complexity