Extending Bachmair's Method for Proof by Consistency to the Final Algebra.
Olav LysnePublished in: Inf. Process. Lett. (1994)
Keyphrases
- objective function
- experimental evaluation
- preprocessing
- high precision
- significant improvement
- synthetic data
- detection method
- pairwise
- computational cost
- classification accuracy
- clustering method
- fully automatic
- feature selection
- classification method
- mathematical model
- segmentation method
- input data
- mutual information
- probabilistic model
- high resolution
- support vector
- multiscale