semantics-based的例句大全

In this homework, you will explore corpus-based approaches to lexical semantics.

在此家庭作业中, 同学需要探讨基于语料的方法在辞汇语义上的应用.

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；

The core of the semantic domain language model is to establish the cohesive structure for specific semantics, by which the relevance among stories can be determined based on their semantics similarity.

语义域语言模型的核心思想是为报道建立凝聚于不同语义的结构体，借以从语义层面判定报道的相关性。

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

Operational semantics based cooperative design of AutoCAD

基于操作语义的AutoCAD协同设计的实现

It is not suited for high throughput caching and does not provide any LRU based cache invalidation or distributed locking semantics.

它不适合进行高吞吐量的缓存，也不支持基于LRU（Latest Recently Used）的缓存校验与分布式的锁语义。

Research on Information Retrieval Method Based on XML Document Structural Semantics and Its Application

基于XML文档结构语义的信息检索方法与应用研究

Query Expansion with Structural Semantics Based on Users' Feedback for XML Documents

基于用户相关反馈的带结构语义的XML查询词扩展

CBR: A Component-Based Reduction Method for Semantics Verification of Workflow Processes

CBR：一种支持工作流过程语义验证的组件级化简方法

Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.

本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系：通信等价、通信原语等价和代码移动等价。

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

从公理语义看UNITY模型和GAMMA模型的关系

Chinese Temporal Semantics Analysis Based on Ontology

基于Ontology的汉语时间语义分析

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

工作流过程图形建模及基于自动机的动态语义