A Complete, Nonredundant Algorithm for Reversed Skolemization.
Philip T. CoxTomasz PietrzykowskiPublished in: CADE (1980)
Keyphrases
- times faster
- dynamic programming
- significant improvement
- single pass
- objective function
- computational complexity
- preprocessing
- experimental study
- experimental evaluation
- detection algorithm
- theoretical analysis
- high accuracy
- optimization algorithm
- cost function
- optimal solution
- provably correct
- space complexity
- computationally efficient
- linear programming
- expectation maximization
- simulated annealing
- computational cost
- k means
- search space
- data structure
- selection algorithm
- estimation algorithm
- image segmentation
- learning algorithm
- data sets