LTUR: A Simplified Linear-Time Unit Resolution Algorithm for Horn Formulae and Computer Implementation.
Michel MinouxPublished in: Inf. Process. Lett. (1988)
Keyphrases
- np hard
- parallel implementation
- worst case
- computational complexity
- optimal solution
- learning algorithm
- preprocessing
- k means
- cost function
- hardware implementation
- search space
- significant improvement
- optimization algorithm
- simulated annealing
- times faster
- objective function
- tree structure
- detection algorithm
- recognition algorithm
- high accuracy
- image registration
- dynamic programming
- image sequences
- similarity measure
- improved algorithm
- experimental evaluation
- matching algorithm
- computationally efficient
- computer systems
- lower bound
- decision trees