BiSNN: Training Spiking Neural Networks with Binary Weights via Bayesian Learning | IEEE Conference Publication | IEEE Xplore