Login / Signup
Automatic Verification of Functions with Accumulating Parameters.
Andrew Ireland
Alan Bundy
Published in:
J. Funct. Program. (1999)
Keyphrases
</>
parameter estimation
sensitivity analysis
real world
maximum likelihood
social networks
fine tuning
measured data
real time
particle swarm optimization
parameter settings