A Solved Form Algorithm for Ask and Tell Herbrand Constraints.
Maurizio GabbrielliGiorgio LeviPublished in: TAPSOFT, Vol.1 (1991)
Keyphrases
- np hard
- high accuracy
- detection algorithm
- times faster
- clustering method
- preprocessing
- worst case
- multiple constraints
- constrained optimization
- convergence rate
- optimization algorithm
- computationally efficient
- computational cost
- cost function
- search space
- computational complexity
- dynamic programming
- logic programs
- logic programming
- segmentation algorithm
- significant improvement
- optimal solution
- image sequences
- improved algorithm
- learning algorithm
- linear constraints
- neural network