Agility - we are interested in results not formalisms.
敏捷(Agility)——我们对结果感兴趣，我们不是形式主义崇拜者。
Then, it discusses Centering Theory and its formalisms.
接着讨论“中心理论”的主要内容及其形式机制；
It would lead to the emergence of many formalisms for each business units.
这必然会导致出现针对各个业务单元的多个体系。
Your proposal, therefore, has to give us a finite theory which combines these two formalisms.
你的建议，因此，必须给我们一个有限的理论，结合这两个形式主义。
The finite temperature field theory have two formalisms imaginary time and real time formalisms.
有限温度场论包括虚时和实时两种理论形式。
Many plausible reasoning formalisms have been employed in a variety of expert systems at present.
目前已有计多似然推理体系被应用在各种专家系统中。
The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
Lots of hard work has been done, many new hypotheses hypothecated, and all sorts of formalisms formulated.
人们已经做了大量的艰苦工作，提出了许多新的假设，并化成了各种各样的公式。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
His architectural gestures remain dipped into the surroundings and don't subjugate them to disputable formalisms.
他的建筑的姿态沉浸在它的周遭环境之中，而不是使环境服从于有待商榷的形式主义之下。
This also ensures that objects whose behaviors are expressed using different formalisms can interact with each other.
这同样也确保了那些通过不同的形式表达行为的对象可以相互的交互。
The first few floors of our skyscraper consist of advanced mathematical formalisms that turn the Classical Physics theories into beauties of their own.
摩天大楼的下面几层是由高等数学方程组成的，它们使得经典物理学理论变的更加美丽。
From your point of view these are formalisms that occur at different levels of abstraction, since they typically model phenomena at different levels of granularity.
从你的角度来看，在不同层次上的抽象显得有些过于的形式主义，因为它很典型模拟了不同层次的之间存在的现象。
Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.
其中一些项目，如TimeRover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.
其中一些项目，如TimeRover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
应用推荐