Bayesian approach to a definition of random sequences and its applications to statistical inference | IEEE Conference Publication | IEEE Xplore