Extracting the resolution algorithm from a completeness proof for the propositional calculus.
Robert L. ConstableWojciech MoczydlowskiPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- learning algorithm
- preprocessing
- computational cost
- optimization algorithm
- objective function
- computational complexity
- high accuracy
- dynamic programming
- matching algorithm
- experimental evaluation
- cost function
- segmentation algorithm
- computationally efficient
- detection algorithm
- simulated annealing
- np hard
- times faster
- similarity measure
- improved algorithm
- data sets
- classification algorithm
- propositional calculus
- selection algorithm
- expectation maximization
- worst case
- multiresolution
- search space
- optimal solution
- genetic algorithm
- neural network