New Monomial Forms Approach for DP and NB1 Curves with Their Proofs.

Dilokvith Savetseranee Natasha Dejdumrong

Published in: CGIV (2013)

Keyphrases

dynamic programming
naive bayes
logistic regression
equational theories
data sets
formal proofs
decision trees
bayesian networks
theorem prover
theorem proving
neural network
machine learning
search engine
multiscale
decision procedures
planar curves