Logical Foundations and Fast Implementation of Probabilistic Tractography.

Myron Zhang Ken E. Sakaie Stephen E. Jones

Published in: IEEE Trans. Medical Imaging (2013)

Keyphrases

logical foundations
active databases
bayesian networks
model checking
knowledge base
probabilistic model
software engineering