查询词典 horn

The harmful effect on the motion edge by global smoothness constraint in Horn algorithm is weakened by algebraic operation.

通过代数运算减轻了 horn 算法中全局约束对运动边界的影响。

Utah Utes, 1998: Keith Van Horn's ballyhooed college career ends without Utah ever making a Final Four.

犹他大学， 1998： keith Van Horn的大吹大擂的大学生涯在没有一次最后四强中结束后。

Since bounded closed sets in infinite dimensional space are notcompact generally,in order to employ Horn's fixed point theorem the compactness of operator Pis initially proved in section 3 in this chapter.

由于无限维空间的有界闭集一般不具备紧性，为了应用Horn不动点定理，我们先证明了Poincare算子P的紧性。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

If drama is your goal, you might rethink the entire notion of painting a wall from corner to corner, says Doty Horn, director of color and

Benjamin Moore公司的色彩及设计主任Doty Horn说如果生动是你的目标，那么你也许会重新考虑要不要把整面墙从一头到另一头都漆成

Which one of the following statements is TRUE of George Van Horn's opinions on the gimmicky?

关于George Van Horn对于该发明的观点，下列哪个陈述是正确的？

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

"The establishment of this Luminant Training Academy underscores our ongoing commitment to operator training with the goal of operating our units as reliably and efficiently as possible," said Steve Horn, Vice President of Technology and Operational Readiness.

技术操作筹备处副总裁Steve Horn说：此次培训学院的成立加强了我们对操作人员的培训，尽可能地实现可靠且有效的操作目标。

They will pull down other fading shop fronts at the heart of Little Vienna, as well — those of Cafe Atlantic and Horn's Imbiss-stube (Horn's Snack Bar).

工作人员还将拆除位于小维也纳中心区域的其他陈旧的店铺正前门，大西洋咖啡厅和 Horn's Snack Bar 的前门也不例外。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。