Type Inference Against Races.

Cormac Flanagan Stephen N. Freund

Published in: SAS (2004)

Keyphrases

bayesian networks
data sets
parameter estimation
inference mechanism
information retrieval
decision making
knowledge base
case study
video sequences
special case
mobile robot
probabilistic inference