Minimization Algorithm for Symbolic Bisimilarity.
Filippo BonchiUgo MontanariPublished in: ESOP (2009)
Keyphrases
- objective function
- learning algorithm
- optimization algorithm
- improved algorithm
- dynamic programming
- convergence rate
- cost function
- k means
- computational cost
- detection algorithm
- experimental evaluation
- high accuracy
- recognition algorithm
- computationally efficient
- computational complexity
- neural network
- selection algorithm
- convex hull
- matching algorithm
- classification algorithm
- clustering method
- theoretical analysis
- expectation maximization
- particle swarm optimization
- np hard