Representing abstract architectures with axiomatic specifications and activation conditions.

Phillip Baraona Perry Alexander

Published in: ECBS (1997)

Keyphrases

high level
sufficient conditions
information processing
state machines
delay insensitive
artificial intelligence
low level
database
decision making
graphical representation
formal specification
axiomatic characterization
environmental conditions
hidden markov models
case study
machine learning
databases