Reasoning about Imperfect Digital Systems.

Published in: Prospects for Hardware Foundations (1998)

Keyphrases

management system
intelligent systems
relational databases
complex systems
systems require
databases
machine learning
computer vision
image processing
bayesian networks
information technology
artificial neural networks
formal theory