PIS: a probabilistic inference system | IEEE Conference Publication | IEEE Xplore