A Probabilistic Algorithm for Verification of Geometric Theorems.
Mingyan ChenZhenbing ZengPublished in: AAIM (2019)
Keyphrases
- dynamic programming
- detection algorithm
- probabilistic model
- learning algorithm
- significant improvement
- improved algorithm
- cost function
- expectation maximization
- np hard
- optimal solution
- experimental evaluation
- computational cost
- objective function
- computationally efficient
- segmentation algorithm
- context free parsing
- preprocessing
- recognition algorithm
- times faster
- matching algorithm
- clustering method
- data sets
- high accuracy
- tree structure
- computational complexity
- search space
- computational geometry
- consistency check
- feature space