A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes.
Yoram HirshfeldMark JerrumFaron MollerPublished in: Math. Struct. Comput. Sci. (1996)
Keyphrases
- computational complexity
- learning algorithm
- detection algorithm
- dynamic programming
- cost function
- expectation maximization
- segmentation algorithm
- experimental evaluation
- significant improvement
- parallel implementation
- search space
- np hard
- preprocessing
- optimal solution
- computational cost
- worst case
- convergence rate
- objective function
- similarity measure
- theoretical analysis
- hardware implementation
- recognition algorithm
- clustering algorithm
- particle swarm optimization
- input data
- linear programming
- k means
- ant colony optimization
- high accuracy
- special case
- evolutionary algorithm
- approximation ratio
- parallel version