An intensionally fully-abstract sheaf model for π (expanded version).

Clovis Eberhart Tom Hirschowitz Thomas Seiller

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

computational model
experimental data
high level
statistical model
prior knowledge
probability distribution
closed form
network model
artificial intelligence
low level
em algorithm
higher level
conceptual model
computational models
classification models