Application of a Probabilistic Model to High Frequency Spectrum Occupancy | IEEE Conference Publication | IEEE Xplore