Convergence of Empirical Means with Alpha-Mixing Input Sequences, and an Application to PAC Learning | IEEE Conference Publication | IEEE Xplore