An exact approach to Bayesian sequential change point detection · Study