产品形态设计语义与传达

程序设计语言 语法与语义

形式语义学基础与形式说明

图像语义分析算法与实现 基于多示例学习

语义网信息组织技术与方法

本书是以信息组织为主题，系统深入地对语义网进行专门研究的书籍。本书的价值主要有三点：一是通过对语义网信息组织原理与机制的剖析，丰富和完善了网络信息的理论体系；二是提出并构建了本体语言的理论与方法；三是...

语义网与数字图书馆

本书考察语义网技术与数字图书馆建设。在对语义网技术进行条分缕析的介绍、分析与示范基础上，提出将该技术应用于数字图书馆建设方面，制订了相关方案，分析利弊，对我国数字图书馆建设与语义网技术应用提出了颇具...

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

语义网原理与技术

本书涵盖语义Web的主要内容，力争系统全面地介绍语义Web的关键技术，并通过实例来说明，使得复杂概念容易理解。本书包括八章：第一章概述语义Web的基本概念，包括其体系结构和涉及的关键问题；第二章介绍可扩展标记语...

语义网原理与技术

本书涵盖语义Web的主要内容，力争系统全面地介绍语义Web的关键技术，并通过实例来说明，使得复杂概念容易理解。本书包括八章：第一章概述语义Web的基本概念，包括其体系结构和涉及的关键问题；第二章介绍可扩展标记语...

基于认知与计算的事件语义学研究

本书探讨事件语义学的研究意义、研究对象与研究方法；从角度，分析与事件语义结构、事件语义关系和事件语义模式；研究事件语义自动标注方法，尝试基于事件语义模式的事件语义结构与语义关系的辅助及自动标注工具；在...