On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.
Vladimir A. ZakharovIvan ZakharyaschevPublished in: CIAA (2004)
Keyphrases
- statistical model
- computational model
- finite state machines
- database
- probabilistic model
- case study
- decision making
- high speed
- process model
- formal model
- image segmentation
- prior knowledge
- neural network
- theoretical framework
- mathematical model
- data sets
- integrity constraints
- neural network model
- prediction model
- real time