Login / Signup
Formalizing Basic First Order Model Theory.
John Harrison
Published in:
TPHOLs (1998)
Keyphrases
</>
formal model
computational model
statistical model
theoretical framework
management system
parameter estimation
probabilistic model
mathematical model
real time
experimental data
high level
least squares
higher order
model selection
control system
sensitivity analysis
theoretical foundation
computational models