GADT: a probability space ADT for representing and querying the physical world | IEEE Conference Publication | IEEE Xplore