Login / Signup
Certified, Efficient and Sharp Univariate Taylor Models in COQ.
Érik Martin-Dorel
Laurence Rideau
Laurent Théry
Micaela Mayero
Ioana Pasca
Published in:
SYNASC (2013)
Keyphrases
</>
cost effective
machine learning
model selection
statistical models
real time
decision making
probabilistic model
machine learning algorithms
formal methods
accurate models