An efficient simulation algorithm on Kripke structures.
Francesco RanzatoPublished in: Acta Informatica (2014)
Keyphrases
- learning algorithm
- high accuracy
- k means
- simulation study
- computational complexity
- computational cost
- detection algorithm
- improved algorithm
- preprocessing
- theoretical analysis
- classification algorithm
- worst case
- optimization algorithm
- matching algorithm
- search space
- segmentation algorithm
- neural network
- selection algorithm
- computationally efficient
- expectation maximization
- dynamic programming
- np hard
- cost function
- data sets
- particle swarm optimization
- markov random field
- probabilistic model
- significant improvement
- control system
- evolutionary algorithm
- artificial neural networks
- memory efficient
- artificial fish