A Rewriting Based Monitoring Algorithm for TPTL.
Ming ChaiHolger SchlingloffPublished in: CS&P (2013)
Keyphrases
- computational complexity
- learning algorithm
- real time
- optimal solution
- preprocessing
- search space
- detection algorithm
- experimental evaluation
- cost function
- simulated annealing
- probabilistic model
- times faster
- recognition algorithm
- convergence rate
- estimation algorithm
- optimization algorithm
- improved algorithm
- computationally efficient
- dynamic programming
- np complete
- theoretical analysis
- segmentation algorithm
- high accuracy
- image registration
- classification algorithm
- path planning
- computational cost
- k means
- artificial neural networks
- objective function