A transfer method from bounded existential Diophantine equations to Tarski algebra formulas.
Bruce E. LitowPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- significant improvement
- high accuracy
- mathematical model
- synthetic data
- computational complexity
- experimental evaluation
- high precision
- cost function
- computational cost
- clustering method
- optimization algorithm
- theoretical analysis
- computationally efficient
- feature set
- edge detection
- data sets
- dynamic programming
- preprocessing
- objective function
- similarity measure
- decision trees
- learning algorithm