An Antichain Algorithm for LTL Realizability.
Emmanuel FiliotNaiyong JinJean-François RaskinPublished in: CAV (2009)
Keyphrases
- detection algorithm
- k means
- matching algorithm
- dynamic programming
- cost function
- estimation algorithm
- experimental evaluation
- times faster
- theoretical analysis
- preprocessing
- simulated annealing
- motion estimation
- probabilistic model
- worst case
- expectation maximization
- computationally efficient
- selection algorithm
- improved algorithm
- single pass
- genetic algorithm
- learning algorithm
- np hard
- evolutionary algorithm
- objective function
- data structure
- optimization algorithm
- neural network
- similarity measure
- ant colony optimization
- video sequences
- data sets
- computational complexity
- significant improvement
- markov random field
- high accuracy
- computational cost