- 重点词汇
- 相关例句
本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统
互联网摘选
基于Web应用程序,用户通过浏览器,直接或通过语义层使用数据源,完成各种报表的设计,生成报表模板及数据自动汇总。
互联网摘选
智能语义浏览器能浏览语义链网络并能进行两种类型的推理:通过将语义链连接起来进行小粒度推理和通过语义链网络的语义视图的匹配进行大粒度推理。
互联网摘选
语义浏览器,作为知识库网格的客户端,提供了知识浏览、查询、简单推理、节点管理等功能。
互联网摘选
资源聚类是指按照资源所包含的语义内容,将内容相似度较高、属于同一主题的资源划分为一个类别,并为每一个类别指定一个语义标签的过程。
互联网摘选
针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一种基于本体的语义Web服务聚类和发现框架。首先,提出了基于本体的语义Web服务描述模型。
互联网摘选
以用户查询为导向的激活方式在语义上将聚类下的文档与查询关联起来,克服了反馈文档主题分散同现带来的风险。
互联网摘选
Thirdly, the system can manage the documents based on semantic concept space.
再次,基于概念语义空间有效地统一文本信息管理;
互联网摘选
Research into information retrieval based on the combination of keyword and semantic concept
基于关键词与语义概念结合的信息检索研究
互联网摘选
提出了一种高效的半自动构建语义单元表示库(英汉)的方法。
互联网摘选
An element to express a meaning in an SS is called semantic element ( SE).
在句义中表达一个意思的单元被称为语义单元。
互联网摘选
