A More Efficient Simulation Algorithm on Kripke Structures
Francesco RanzatoPublished in: CoRR (2012)
Keyphrases
- single pass
- learning algorithm
- improved algorithm
- detection algorithm
- preprocessing
- times faster
- experimental evaluation
- optimization algorithm
- tree structure
- computationally efficient
- computationally intensive
- estimation algorithm
- path planning
- optimal solution
- selection algorithm
- recognition algorithm
- simulation study
- mathematical model
- worst case
- computational cost
- np hard
- search space
- input data
- memory requirements
- neural network
- objective function
- space complexity
- search algorithm
- highly efficient
- image segmentation
- data streams
- computational complexity
- simulation model
- convergence rate
- dynamic programming
- scheduling problem
- similarity measure
- segmentation algorithm
- theoretical analysis
- simulated annealing