A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict.
Etsuji TomitaKazushi SeinoPublished in: Theor. Comput. Sci. (1989)
Keyphrases
- real time
- optimization algorithm
- dynamic programming
- improved algorithm
- learning algorithm
- preprocessing
- experimental evaluation
- np hard
- significant improvement
- data sets
- matching algorithm
- theoretical analysis
- high accuracy
- optimal solution
- neural network
- convergence rate
- worst case
- path planning
- objective function
- input data
- cost function
- detection algorithm
- computationally efficient
- relaxation algorithm
- finite state automata
- classification algorithm
- data structure
- linear programming
- simulated annealing
- computational complexity
- association rules
- search space
- k means
- hidden markov models