Integrated GIS solution to mining subsidence assistant decision in mining area | IEEE Conference Publication | IEEE Xplore