EEG error-related potentials detection with a Bayesian filter | IEEE Conference Publication | IEEE Xplore