Login / Signup
A Categorical Model for Higher Order Imperative Programming.
David A. Naumann
Published in:
Math. Struct. Comput. Sci. (1998)
Keyphrases
</>
probabilistic model
higher order
formal model
high order
decision trees
probability distribution
input image
linear model
neural network model
mathematical model
attribute values
theoretical framework
real time
management system
cost function
multiscale
decision making
neural network