Anti-symmetry of higher-order subtyping and equality by subtyping.

Adriana B. Compagnoni Healfdene Goguen

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

higher order
artificial intelligence
natural images
high order
conditional random fields
low order
lower order
real time
decision making
video sequences
expert systems
markov random field
expressive power
symmetry detection