Abstraction; Spatial Analysis; Knowledge Representation; Navigation; Mapping; Disaster Management;
机译:弥合行为形式描述技术和用户界面描述语言之间的鸿沟:通过图形用户界面标记语言增强ICO
机译:基于分层图的知识表示系统形式语言生成
机译:基于正式的意图轨迹描述标准机器飞机的描述语言
机译:图形和语言作为地理空间描述的互补形式表示
机译:连接系统描述语言与形式验证
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:基于多场地理空间infographics光谱的地面灾害视觉表示