A Compositional Method for Deciding Program Termination.
Aleksandar S. DimovskiPublished in: ICT Innovations (2010)
Keyphrases
- experimental evaluation
- detection method
- significant improvement
- cost function
- computational cost
- main contribution
- similarity measure
- preprocessing
- support vector machine svm
- theoretical analysis
- segmentation method
- neural network
- detection algorithm
- computationally efficient
- dynamic programming
- pairwise
- image processing
- computer vision