查询词典 formalisms

Modeling and analysis of workflows based on formalisms are the foundations of the design and development of workflow management systems.

工作流的建模和分析技术是商业过程的组织和管理以及工作流管理系统的设计和实现的基础。

The field is constantly expanding, as people invent new formalisms to solve their own problems.

数学领域正不断的扩展，当人们发明新的形式去解决自己的问题时。

The field is constantly expanding, as people invent new formalisms to solve their own problems.

当人们发明新的形式去解决自己的问题时，数学领域就不断的扩展。

Description Logic is a family of knowledge representation formalisms and a hotpoint research direction of artificial intelligence.

描述逻辑一族知识表示形式系统，是人工智能领域的一个热门研究方向。

MT research has been regarded as a field in which new linguistic formalisms or new computational techniques can be tried out .

MT研究已经被看做一个试验新的语言形式或新的计算技术的领域。

In some cases, supporting materials will also be provided in the form of templates and/or suggested formalisms to further encourage reuse.

在某些情况下，也可以用模板和/或形式化建议的形式来提供辅助材料，以进一步鼓励重复使用。

The field isconstantly expanding, as people invent new formalisms to solvetheir own problems.

数学领域正不断的扩展，当人们发明新的形式去解决自己的问题时。

Written using language and formalisms that practitioners understand.

使用书面语言和形式化语言进行描述，以便从业人员理解。

It addresses key matters associated with real-time data services and reviews the formalisms, methods, and tools used in real-time and embedded systems.

它解决了实时数据服务，并审查了形式主义，方法有关的重要事项，并在实时使用的工具和嵌入式系统。

All of these formalisms were shown to be equivalent in computational power -- that is, any computation that can be performed with one can be performed with any of the others.

所有的这些形式方法都与计算的能力等价，也即，一个计算可以和另一个计算能够被执行，那么这个计算也能够实现其它任何计算的执行。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。