Algebraic models of correctness for abstract pipelines.

Anthony C. J. Fox Neal A. Harman

Published in: J. Log. Algebraic Methods Program. (2003)

Keyphrases

probabilistic model
pairwise
artificial neural networks
real time
data sets
databases
information retrieval
case study
data structure
hidden markov models
complex systems
statistical model
experimental data
statistical models
mathematical models
parametric models