查询词典 semantical decision problem

They are modal arguments, epistemological arguments, and semantical arguments. It is wrong to doubt the three types of the arguments.

克里普克为了证明传统的名称摹状词理论的错误给出了三大论证，即模态论证、认识论的论证和语义学的论证。

The important undefined semantical notion in the theory is that of satisfaction which relates sentences, open or closed, to infinite sequences of objects, which may be taken to belong to the range of variables of the object language.

在这个理论里重要但未定义的语义notion是'关联语句和无限对象无限序列（——这可以被作为属于对象语言的变量范围）的satisfaction'。

Later, in order to provide a semantical model for the program withprobability choice, many researchers research the probabilistic predicate transformers.

后来，研究学者为了给带有概率选择的程序提供语义模型，提出概率谓词转换器。

Both the case and semantical verification show that all kinds of component interface and interaction can be protected by XACML testing strategies.

通过测试具体实例与验证其语义模型，该测试策略为组件接口及组件交互提供了访问安全保障。

By analysing the syntactical and semantical characteristics of Chinese organization and dividing it into the forward word and the special word, an approach based on statistical method is put forward about Chinese organization automatic recognition.

通过对中文机构名的语法语义特性进行分析，将中文机构名分成前部词和特征词，提出了一种基于统计的识别方法。

In the second method,according to the semantical characteristics of search module and infection module,virus pattern library was constructed.

基于逻辑语义流图的检测方法根据PE病毒传染机制的语义特征，构造其逻辑流图，形成病毒模式库。

In accordance with the denotational semantical framework, it employs the system trace to describe the dynamic properties of a program instead of the input/output function.

它以指称语义框架为基础，用系统轨迹代替输入/输出函数来刻划程序的动态特性。

Based on the cognition analysis of the quantitative features of nouns and verbs, and the study of the semantical features of the measure for verbs.

语法学界在"V+数词+动量词+N"结构(如："进了一趟城"、"念一遍生字")定性问题上的分歧由来已久。

The framework uses a frame—based knowledge.representation to describemodel—related semantical knowledge.

本文提出了一种基于知识的模型管理系统的概念结构，讨论了它的一般问题解决过程和知识表现形式，以及知识库的推理方式和整体结构等。

Thirdly, the logic SAIL〓 for specified analogical systems is presented, in which the conceptions of semantical similarity and structural consistency for AR are represented accurately.

此外，还给出了SAIL〓系统来分析具体的类比系统，从而使得类比中语义相似性，结构一致性得到了准确表达。

Warden: That's a beautiful dog, but don't bring her again.

那是条漂亮的狗，但是不要再把她带来了。

You get up in the morning – no hangover!

你第二天早上起来的时候—不会宿醉！