An Implementation of an Efficient Algorithm for Bisimulation Equivalence.
Jean-Claude FernandezPublished in: Sci. Comput. Program. (1989)
Keyphrases
- computationally efficient
- dynamic programming
- learning algorithm
- k means
- search space
- objective function
- preprocessing
- improved algorithm
- significant improvement
- cost function
- computational cost
- selection algorithm
- hardware implementation
- single pass
- matching algorithm
- classification algorithm
- clustering method
- detection algorithm
- simulated annealing
- input data
- high accuracy
- theoretical analysis
- optimization algorithm
- neural network
- worst case
- state space
- path planning
- recognition algorithm
- probabilistic model
- artificial neural networks
- data streams
- highly efficient
- estimation algorithm
- optimal solution
- memory efficient