Systematization of Finite Many-Valued Logics Through the Method of Tableaux.
Walter Alexandre CarnielliPublished in: J. Symb. Log. (1987)
Keyphrases
- computational cost
- high accuracy
- experimental evaluation
- clustering method
- detection method
- dynamic programming
- high precision
- objective function
- cost function
- pairwise
- classification method
- data sets
- segmentation method
- synthetic data
- modal logic
- expressive power
- markov random field
- optimization algorithm
- support vector machine svm
- computationally efficient
- feature set
- support vector machine
- prior knowledge
- image segmentation