An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems.
Malcolm MummeGianfranco CiardoPublished in: Int. J. Found. Comput. Sci. (2013)
Keyphrases
- learning algorithm
- computationally efficient
- cost function
- high accuracy
- convergence rate
- times faster
- optimization algorithm
- segmentation algorithm
- computational cost
- experimental evaluation
- detection algorithm
- significant improvement
- probabilistic model
- simulated annealing
- similarity measure
- optimal solution
- memory efficient
- k means
- linear systems
- highly efficient
- recognition algorithm
- feature selection
- convex hull
- matching algorithm
- clustering method
- objective function
- theoretical analysis
- computational complexity
- computer systems
- linear programming
- genetic algorithm
- state space
- preprocessing
- dynamic programming
- search space