Formal theory of granular computing, and two major applications | IEEE Conference Publication | IEEE Xplore