查询词典 Interactive TV

He criticized the traditional empirical theory and built a thorough empiricism of interactive subject and object.

他批判传统的经验论，建立了主客互动的彻底的经验主义。

In this review, we attempt to outline the interactive mechanisms of plant-fungal endophyte associations on a morphological, physiological and molecular level.

研究试图从形态、生理和分子水平阐述内生真菌与植物互作的基础。

And ultimately to achieve a perfect enforceability of small interactive CAD system .

并最终实现用一个完善的可执行性的小型交互式CAD系统。

Go buy a lot of parents also think, in spite of studying English is to teach children learning machine, but also from the Chinese point of view should be packaged in modified to allow foreign toys and Chinese children were more interactive.

围棋尽管学习英语的家长买也认为，很多是教儿童学习机，而且从中国的观点一点应在修改，允许外国和中国儿童玩具包装的更多的互动。

Overall: If you want to feel as if you were actually fighting during World War II in a totally engrossing interactive experience, you cannot do better than playing Medal of Honor.

整体：如果你想要的感觉，如果你真正的战斗，二战期间在一个完全引人入胜的交互体验，你不能这样做总比玩荣誉勋章。

Used the JSP programming language to realize the terminal dynamic page's design as the development kit, has provided safely, friendly, the fast visit interactive mode, enhanced the procedure flexibility and system's security.

使用 JSP 编程语言作为开发工具实现了终端动态页面的设计，提供了安全、友好、快速的访问交互方式，提高了程序的灵活性和系统的安全性。

As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms.

基本图是一种描述并发交互系统的形式化方法，它具有描述简洁、清晰和直观的特点。在基本图中，进程以及进程间的交互行为，既可以用图表示方法(其中一个图对应一个进程，图之间的归约对应进程之间的交互行为)，又可以用项代数来表示。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

In order to solve the problem of function error for robotic visual servo control system, an interactive method of image-based modeling is presented.

为了更好地解决机器人视觉伺服控制系统中运行误差的问题，引入了一种基于图像的交互式几何建模方法。

This type of built-up esse develops with the health, for establish in China the nation have got with social positive interactive construction the important and realistic meaning.

这类组织的存在和健康发展，对于在中国建立国家与社会的良性互动结构有着重要的现实意义。

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。