An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.
Jin-Zhao WuHong-Yan TanYongli LiPublished in: J. Appl. Non Class. Logics (1998)
Keyphrases
- similarity measure
- cost function
- detection method
- significant improvement
- computational cost
- segmentation method
- theoretical analysis
- high precision
- fully automatic
- dynamic programming
- experimental evaluation
- high accuracy
- preprocessing
- optimization algorithm
- detection algorithm
- machine learning
- optimization method
- neural network
- synthetic data
- segmentation algorithm
- support vector machine svm
- mutual information
- classification accuracy
- pairwise