Resolution-Based Approach to Computability Analysis of Interacting Automata.

Anatoli N. Chebotarev Marina K. Morokhovets

Published in: Theor. Comput. Sci. (1998)

Keyphrases

image analysis
real time
databases
artificial intelligence
bayesian networks
medical images
quantitative analysis
finite state