Knowledge-Driven Techniques for Geological Map Compilation: Case Study from the Tibetan Plateau | IEEE Conference Publication | IEEE Xplore