A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA.
Chaodong HePublished in: CoRR (2014)
Keyphrases
- dynamic programming
- worst case
- learning algorithm
- experimental evaluation
- computational complexity
- detection algorithm
- preprocessing
- simulated annealing
- strongly polynomial
- improved algorithm
- high accuracy
- probabilistic model
- optimal solution
- computational cost
- search space
- tree structure
- recognition algorithm
- similarity measure
- cost function
- association rules
- theoretical analysis
- segmentation algorithm
- optimization algorithm
- times faster
- convergence rate
- search tree
- randomized algorithm
- data sets