Algebraic Models and the Correctness of Microprocessors.

Neal A. Harman John V. Tucker

Published in: CHARME (1993)

Keyphrases

databases
experimental data
statistical models
bayesian framework
data sets
computer vision
personal computer
database
neural network
multi agent
search algorithm
prior knowledge
hidden markov models
model selection
random fields