An efficient algorithm for monitoring practical TPTL specifications.
Adel DokhanchiBardh HoxhaCumhur Erkan TuncaliGeorgios FainekosPublished in: MEMOCODE (2016)
Keyphrases
- experimental evaluation
- learning algorithm
- high accuracy
- computational cost
- significant improvement
- computational complexity
- optimization algorithm
- improved algorithm
- cost function
- dynamic programming
- memory efficient
- convergence rate
- preprocessing
- input data
- simulated annealing
- estimation algorithm
- single pass
- k means
- highly efficient
- objective function
- optimal solution
- np hard
- theoretical analysis
- search space
- recognition algorithm
- matching algorithm
- times faster
- memory requirements
- expectation maximization
- detection algorithm
- computationally efficient
- neural network
- denoising
- motion estimation
- artificial neural networks