MeteoAssert: generation and organization of weather assertions from gridded data | IEEE Conference Publication | IEEE Xplore