Model Constructions for Moss' Coalgebraic Logic.

Jort Bergfeld Yde Venema

Published in: CALCO (2011)

Keyphrases

high level
computational model
objective function
mathematical model
statistical model
probability distribution
genetic algorithm
computer vision
case study
probabilistic model
conceptual model
neural network model
formal model
prediction model