Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.
Shuling WangXu WangPublished in: VERIFY@IJCAR (2010)
Keyphrases
- experimental evaluation
- detection algorithm
- improved algorithm
- clustering method
- experimental study
- significant improvement
- preprocessing
- estimation algorithm
- np hard
- computational complexity
- optimal solution
- times faster
- optimization algorithm
- learning algorithm
- convergence rate
- path planning
- theoretical analysis
- computationally efficient
- expectation maximization
- bayesian networks
- search space
- dynamic programming
- recognition algorithm
- memory requirements
- linear programming
- single pass
- classification algorithm
- simulated annealing
- high accuracy
- worst case
- denoising
- multi objective
- image segmentation