Algebraic Specifications of Reachable Higher-Order Algebras.
Bernhard MöllerAndrzej TarleckiMartin WirsingPublished in: ADT (1987)
Keyphrases
- higher order
- natural images
- high order
- markov random field
- pairwise
- conditional random fields
- low order
- formal specification
- markov models
- delay insensitive
- finite state machines
- high level
- topological spaces
- functional requirements
- specification language
- initial state
- object recognition
- multiscale
- database
- distributive lattices