Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.
Manfred BroyPeter PepperPublished in: ACM Trans. Program. Lang. Syst. (1982)
Keyphrases
- improved algorithm
- detection algorithm
- dynamic programming
- preprocessing
- high accuracy
- theoretical analysis
- learning algorithm
- optimization algorithm
- recognition algorithm
- segmentation algorithm
- least squares
- search space
- evolutionary algorithm
- k means
- computational cost
- path planning
- worst case
- data sets
- matching algorithm
- particle swarm optimization
- tree structure
- clustering method
- expectation maximization
- classification algorithm
- times faster
- convex hull
- selection algorithm
- neural network
- genetic algorithm
- computationally efficient
- computational complexity
- simulated annealing
- probabilistic model
- experimental evaluation
- knowledge base
- np hard
- artificial neural networks
- objective function