Some Constructions for Order-Theoretic Models of Concurrency.

Vaughan R. Pratt

Published in: Logic of Programs (1985)

Keyphrases

experimental data
neural network
statistical models
data sets
information retrieval
artificial intelligence
decision trees
database systems
data structure
pairwise
prior knowledge
bayesian framework
classification models
accurate models