A Complete, Nonredundant Algorithm for Reversed Skolemization.
Philip T. CoxTomasz PietrzykowskiPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- learning algorithm
- cost function
- detection algorithm
- experimental study
- computational cost
- dynamic programming
- preprocessing
- theoretical analysis
- high accuracy
- optimization algorithm
- experimental evaluation
- path planning
- np hard
- machine learning
- times faster
- linear programming
- tree structure
- particle swarm optimization
- improved algorithm
- estimation algorithm
- ant colony optimization
- matching algorithm
- selection algorithm
- computationally efficient
- expectation maximization
- input data
- denoising
- mobile robot
- k means
- search space
- computational complexity
- image sequences