On the use of a pruning prior for neural networks | IEEE Conference Publication | IEEE Xplore