Bisimulations for Open Processes in Higher Order p-Calculus.

Published in: TASE (2010)

Keyphrases

higher order
markov random field
high order
pairwise
natural images
lambda calculus
markov models
information technology
relational databases
low order
computational models
data sets
object recognition
search engine
artificial intelligence
information retrieval
real world