Login / Signup
Monotone (co)inductive types and positive fixed-point types.
Ralph Matthes
Published in:
RAIRO Theor. Informatics Appl. (1999)
Keyphrases
</>
fixed point
machine learning
image processing
upper bound
least squares
decision makers
utility function
belief propagation