Determinization of Resolution by an Algorithm Operating on Complete Assignments.
Eugene GoldbergPublished in: SAT (2006)
Keyphrases
- dynamic programming
- k means
- detection algorithm
- theoretical analysis
- expectation maximization
- optimal solution
- matching algorithm
- learning algorithm
- convergence rate
- similarity measure
- times faster
- np hard
- provably correct
- clustering method
- optimization algorithm
- denoising
- experimental evaluation
- cost function
- significant improvement
- multiscale
- input data
- maximum likelihood
- high accuracy
- segmentation algorithm
- computational cost
- experimental study
- ant colony optimization
- image processing
- recognition algorithm
- improved algorithm
- neural network