User Feedback in Probabilistic Integration | IEEE Conference Publication | IEEE Xplore