Login / Signup

Certified, Efficient and Sharp Univariate Taylor Models in COQ.

Érik Martin-DorelLaurence RideauLaurent ThéryMicaela MayeroIoana 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