A CSP model with flexible parallel termination semantics.

Paul Howells Mark d'Inverno

Published in: Formal Aspects Comput. (2009)

Keyphrases

probabilistic model
statistical model
conceptual model
objective function
computational model
object model
image segmentation
bayesian networks
probability distribution
markov random field
em algorithm
logic programming
theoretical framework
process model
mathematical model