"Higher-Order" Mathematics in B.

Jean-Raymond Abrial Dominique Cansell Guy Laffitte

Published in: ZB (2002)

Keyphrases

higher order
high order
natural images
pairwise
computer science
low order
markov random field
data sets
conditional random fields
lower order
lambda calculus
social networks
search algorithm
computer assisted learning