Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.
Christopher W. BrownScott McCallumPublished in: CASC (2020)
Keyphrases
- markov random field
- pairwise
- decomposition method
- high accuracy
- mutual information
- detection method
- fully automatic
- preprocessing
- high precision
- cost function
- significant improvement
- support vector machine svm
- optimization algorithm
- classification method
- synthetic data
- wavelet packet
- evaluation method
- main contribution
- error rate
- similarity measure
- computational cost
- experimental evaluation
- dynamic programming
- optimal solution