An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes.
Viktor K. SabelfeldPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- detection algorithm
- preprocessing
- search space
- significant improvement
- cost function
- dynamic programming
- objective function
- learning algorithm
- theoretical analysis
- expectation maximization
- improved algorithm
- particle swarm optimization
- times faster
- linear programming
- experimental evaluation
- hidden markov models
- optimal solution
- recognition algorithm
- estimation algorithm
- matching algorithm
- clustering method
- simulated annealing
- computational cost
- mobile robot
- computational complexity