An Axiomatic Value Model for Isabelle/UTP.

Frank Zeyda Simon Foster Leo Freitas

Published in: UTP (2016)

Keyphrases

theoretical framework
data sets
mathematical model
high level
probabilistic model
probability distribution
theoretical analysis
parameter values
formal model
conceptual model
parameter estimation
em algorithm
evolutionary algorithm
case study
decision trees
decision making
neural network