A Model for Behavioural Properties of Higher-order Programs.

Sylvain Salvati Igor Walukiewicz

Published in: CSL (2015)

Keyphrases

higher order
probabilistic model
experimental data
computational model
mathematical model
multiscale
natural images
process model
lower order
neural network
learning algorithm
management system
parameter estimation
high order
formal model