Login / Signup
Reasoning About Procedures as Parameters.
Steven M. German
Edmund M. Clarke
Joseph Y. Halpern
Published in:
Logic of Programs (1983)
Keyphrases
</>
computer vision
parameter estimation
fine tuning
website
sensitivity analysis
maximum likelihood estimation
real time
database systems
bayesian networks
multi agent systems
maximum likelihood
parameter settings
parametric models