A Machine-Checked Proof of A State-Space Construction Algorithm.
Néstor CatañoRadu I. SiminiceanuPublished in: NASA Formal Methods (2010)
Keyphrases
- state space
- times faster
- learning algorithm
- detection algorithm
- optimization algorithm
- dynamic programming
- matching algorithm
- monte carlo
- search space
- computational complexity
- preprocessing
- improved algorithm
- computationally efficient
- recognition algorithm
- np hard
- high accuracy
- linear programming
- input data
- experimental evaluation
- theoretical analysis
- segmentation algorithm
- theorem proving
- cost function
- classification algorithm
- k means
- heuristic search
- state variables
- expectation maximization
- particle swarm optimization
- computational cost
- significant improvement
- objective function
- decision trees