Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients.
Tomoko NinomiyaMasao MukaidonoPublished in: ISMVL (1999)
Keyphrases
- high precision
- preprocessing
- computationally efficient
- dynamic programming
- detection method
- multiscale
- support vector machine svm
- cost function
- significant improvement
- computational complexity
- input data
- theoretical analysis
- pairwise
- detection algorithm
- clustering method
- feature selection
- optimization method
- propositional logic