Effect-Polymorphic Behaviour Inference for Deadlock Checking.

Ka I Pun Martin Steffen Volker Stolz

Published in: SEFM (2014)

Keyphrases

belief networks
computer vision
bayesian networks
inference process
probabilistic inference
efficient learning
type checking
genetic algorithm
website
image segmentation
graphical models
consistency checking