Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract).
Shigetomo KimuraAtsushi TogashiNorio ShiratoriPublished in: AII/ALT (1994)
Keyphrases
- extended abstract
- improved algorithm
- experimental evaluation
- dynamic programming
- computational cost
- preprocessing
- k means
- np hard
- high accuracy
- single pass
- optimization process
- computational complexity
- optimal solution
- computationally efficient
- detection algorithm
- data sets
- times faster
- matching process
- tree structure
- clustering method
- cost function
- significant improvement
- search space
- recursive algorithm
- estimation algorithm
- recognition algorithm
- path planning
- matching algorithm
- hidden markov models
- decision trees
- learning algorithm