Formal Modeling and Correctness Proof of Spatial Partition Algorithm.
Liping ZhuFangfang WuPei YangJixun YanLi MaPublished in: CSDM Asia / CSDM (2021)
Keyphrases
- computational complexity
- dynamic programming
- objective function
- preprocessing
- high accuracy
- k means
- computational cost
- experimental evaluation
- significant improvement
- learning algorithm
- convergence rate
- theoretical analysis
- np hard
- cost function
- selection algorithm
- improved algorithm
- optimal solution
- times faster
- matching algorithm
- recognition algorithm
- spatial relationships
- partitioning algorithm
- spatial data
- detection algorithm
- optimization algorithm
- segmentation algorithm
- particle swarm optimization
- simulated annealing
- input image
- spatio temporal
- similarity measure