Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice.

Published in: TASE (2013)

Keyphrases

higher order
lambda calculus
high order
markov random field
natural images
pairwise
markov models
low order
computer algebra
data mining
conditional random fields
relational databases
image segmentation
case study
abnormal behavior
abnormal events
information systems