A Sheaf-Theoretic Model of Concurrency

Luís Monteiro Fernando C. N. Pereira

Published in: LICS (1986)

Keyphrases

probabilistic model
computational model
formal model
theoretical analysis
similarity measure

hierarchical structure
data sets
hidden markov models
conceptual model
closed form

experimental data
theoretical framework
prior knowledge
multi agent
objective function

reinforcement learning
multiscale
image segmentation
knowledge base