空间信息检索系统中的语义本体技术 【工业技术】

面向服务的计算 语义、流程和代理 【工业技术】

本书借助于Web服务背景下开发的许多概念，阐述了优秀服务的原则与实践。

计算机语言的形式语义 【工业技术】

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

基于语义的XML信息集成技术 【工业技术】

本书系统介绍了分布式环境下基于语义的XML信息集成的原理、方法、技术及原型系统，总结了作者在该领域的研究成果等。

冶金物理化学研究方法 下 第16章 近代常用的测试技术简介 【工业技术】

基于语义的Web数据挖掘 【工业技术】

本书共分12章，讲解了基于语义的Web数据挖掘的相关知识，适用于普通高等院校电子商务、信息管理与信息系统、企业管理类专业高年级学生相关课程的参考教材，也可作为企业管理人员的学习参考书。...

面向中文信息处理的框架语义分析 【工业技术】

本书即以框架语义理论为基础，以汉语框架语义知识库为语义角色标注的范畴知识体系，以真实语料为依据，根据短语类型、句法功能以及短语内、外部其他句法语义特征，归纳汉语语义角色标注规则，为计算机自动语义分析提...

形式语义学的稳定论域理论 【工业技术】

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

基于语义扩展的网络信息监管 【工业技术】

本书是讨论网络信息监管方法的专著，第一章给出基于语义扩展的网络信息监管架构，第二章给出了一种基于语义的网络信息监管机制，第三章给出一种变调整学习规则的网页分类方法，第四章提出一种基于概念扩展的搜索模...

计算系统的形式语义 下 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...