Computationally Tractable Approaches to Modeling the Coverage of Weather Sensor Networks | IEEE Conference Publication | IEEE Xplore