An efficient algorithm for computing bisimulation equivalence.
Agostino DovierCarla PiazzaAlberto PolicritiPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- computational complexity
- improved algorithm
- preprocessing
- optimization algorithm
- experimental evaluation
- times faster
- theoretical analysis
- cost function
- dynamic programming
- expectation maximization
- high accuracy
- probabilistic model
- computational cost
- detection algorithm
- k means
- objective function
- experimental study
- learning algorithm
- linear programming
- simulated annealing
- optimal solution
- input data
- particle swarm optimization
- computationally efficient
- segmentation algorithm
- worst case
- np hard
- tree structure
- image processing
- convergence rate
- neural network
- estimation algorithm
- memory efficient