Proving the Correctness of the Standardized Algorithm for ABR Conformance.
Jean-François MoninPublished in: Formal Methods Syst. Des. (2000)
Keyphrases
- detection algorithm
- computational cost
- search space
- experimental study
- computational complexity
- experimental evaluation
- objective function
- theoretical analysis
- np hard
- dynamic programming
- learning algorithm
- high accuracy
- single pass
- optimization algorithm
- expectation maximization
- particle swarm optimization
- improved algorithm
- preprocessing
- reinforcement learning
- memory requirements
- support vector machine
- path planning
- matching algorithm
- energy function
- cost function
- k means
- multiscale