Extending Z with State Transition Constraints.
Kenji TaguchiKeijiro ArakiPublished in: COMPSAC (1996)
Keyphrases
- state transition
- state transitions
- state transition model
- black box
- state space
- hidden markov models
- input output
- markov chain
- finite state machines
- probability distribution
- constraint satisfaction
- object oriented
- database
- data warehouse
- bayesian networks
- linear constraints
- artificial intelligence
- internal state
- databases