A Method to Single out Maximal Propositional Logics with the Disjunction Property II.
Mauro FerrariPierangelo MiglioliPublished in: Ann. Pure Appl. Log. (1995)
Keyphrases
- experimental evaluation
- high accuracy
- computational cost
- support vector machine
- multiscale
- high precision
- synthetic data
- detection method
- edge detection
- computationally efficient
- multi valued
- neural network
- clustering method
- detection algorithm
- support vector machine svm
- probabilistic model
- prior knowledge
- preprocessing
- objective function
- genetic algorithm