Login / Signup
Plain CHOCS: A Second Generation Calculus for Higher Order Processes.
Bent Thomsen
Published in:
Acta Informatica (1993)
Keyphrases
</>
higher order
high order
pairwise
markov random field
natural images
automated deduction
lower order
lambda calculus
real time
low order
conditional random fields
software engineering
multiscale
image processing
artificial intelligence
genetic algorithm
machine learning