Partial higher-order specifications.

Egidio Astesiano Maura Cerioli

Published in: Fundam. Informaticae (1992)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
markov models
low order
neural network
delay insensitive
lower order
high level
computer vision
databases
multi agent
multiscale
formal specification
partial information
operational semantics
real world
lambda calculus
written in natural language