Recognizing Safety and Liveness.

Bowen Alpern Fred B. Schneider

Published in: Distributed Comput. (1987)

Keyphrases

automatic recognition
artificial intelligence
data sets
preprocessing
expert systems
artificial neural networks
coal mining
information retrieval
decision making
decision trees
three dimensional
medical images
civil aviation