Higher-Order Abstract Non-interference.

Damiano Zanardini

Published in: TLCA (2005)

Keyphrases

higher order
high order
natural images
pairwise
lower order
markov random field
low order
lambda calculus
multipath
database systems
high level
data sets
real time
object recognition
conditional random fields
decision trees
website
feature selection
anti unification