Verifying an infinite systolic algorithm using third-order equational methods.
L. Jason StegglesPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- computational cost
- preprocessing
- significant improvement
- computationally demanding
- heuristic rules
- synthetic and real datasets
- detection algorithm
- times faster
- experimental evaluation
- learning algorithm
- recently published
- cost function
- simulated and real data
- simulated annealing
- expectation maximization
- np hard
- dynamic programming
- computational complexity
- synthetic and real images
- synthetic datasets
- parameter settings
- segmentation algorithm
- neural network
- similarity measure
- heuristic methods
- k means
- particle swarm optimization
- theoretical analysis
- linear programming
- multi objective
- decision trees
- iterative algorithms
- knn
- optimal solution
- worst case
- high accuracy
- noisy data
- spectral clustering
- video sequences
- test images
- classification method
- matching algorithm
- support vector