查询词典 inference pattern

The proposition formula true value production algorithm research is studies the inference the automation foundation.

命题公式真值生成算法研究就是研究推理的自动化的基础。

in order to improve the detection rate for anomaly state and reduce the false positive rate for normal state in the network anomaly detection, a novel method of network anomaly detection based on tsk fuzzy inference system was proposed.

在网络异常检测中，为了提高对异常状态的检测率，降低对正常状态的误判率，该文提出利用tsk模糊控制系统进行网络异常检测的新方法。

This conclusion is derived can get a reverse inference - the same type of animals of different species evolved in different environments formed.

这个结论逆向推导又能获得一个推论——同一类动物的不同品种，是在不同环境下进化形成的。

Here, we review the status of sequence and structure-based approaches to protein function inference and ligand screening that can provide functional insights for a significant fraction of the approximately 50% of ORFs of unassigned function in an average proteome.

这里，我们回顾了序列和基于结构的方式来进行蛋白质功能推断的状况及在一个平均的蛋白质组中非指定功能的约50%的ORFs的重要片段可以提供功能理解的配基屏蔽。

Different 〓nterfaces for evidence input during inference are designed to avoid the undeterminable ase of traditional method in which the user can only input certainty factors.

设计了推理中证据输入的多种接口，避免了传统方法中用户仅输入置信度的不易确定。

It supports directed and undirected models, discrete and continuous variables, various inference and learning algorithms.

它支持有向或无向的模型，离散或连续的变量，各种推论及学习算法。

It includes: the inference of the legislation and the scarcity of the system; incompleteness of the scope covered by the legislation; the unhealthiness of the system of the personal account; the existing mechanism recede the manipulation character; too high proportion of the social insurance charge; the feebleness of the executing mechanism.

这些问题包括：民营企业员工社会保险严重不足；民营企业员工社会保险表现出明显的"三高三低"特征；参保企业随意压低缴费基数，保障程度明显不足；各险种发展状况参差不齐，难以为企业职工提供全面的保障；各类民营企业参加社会保险率差别很大。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

Knowledge representation ; knowledge unit ; XML ; inference

知识表示；知识单元； XML ；推理

This paper focuses on the Schur theorem and the proof of it, the definition of a unitary matrix, Schur theorem given several important inference, and its application in the matrix above few examples.

本文重点研究了Schur定理的内容和它的证明，定义了酉矩阵，给出了Schur定理的几个重要推论，以及其应用在矩阵上面的几个实例。

Check dri ve seating, cables, and I/O module.

请检查驱动器安装、电缆和 I/O 模块。

If there's no traffic jam, I think it's OK.

如果不塞车的话，我想能行。