They show comprehension to consist not just of passive assimilation but of active engagement in inference and problem-solving.
这表明理解不仅包括被动的同化，还包括主动参与推理和解决问题。
But they show comprehension to consist not just of passive assimilation but of active engagement in inference and problem-solving.
但它们表明，理解不仅包括被动的同化，还包括主动参与推理和解决问题。
The inference seems obvious in Bill and Pierre’s case, but in the experiment, we used abstract colored shapes that have no intuitive relation to one another, making the task more challenging.
在Bill和Pierre案例上，推理是明显的，但在实验中，我们使用一些抽象的且彼此间没有直观联系的颜色形状，使得任务更具挑战性。
Index entries are determined by inference and are built based on the natural patterns contained in XML documents. NeoCore XMS creates index entries according to the following rules.
通过推断决定索引项，并且根据XML文档中包含的这种自然模式来构建索引项。
It's a prototype that shows the possibilities of type inference in a Ruby-like language, rather than a new language for programmers to use.
这是一个原型，用来展现以一种类ruby语言而不是一种新语言来实现类型推断的可能性。
That decision makes the language more consistent, makes the implementation more maintainable, and offers more opportunities to take advantage of future improvements in type inference.
该决策使语言更加一致、使实现更加易于维护以及提供更多机会以便充分利用将来在类型推断中的改进。
The transformation layer will apply an inference process (similar to forward-chaining) and check for each node in the plan tree to see which query transformations apply to that node.
转换层将应用一个推理过程(类似于前推链接法)，并检查规划树中的每个节点，看哪些查询转换适用于该节点。
Eventually we chose the complex algorithm because it is more similar to the behavior of type inference elsewhere in the language.
最终我们选择了复杂算法，因为其更类似于语言中其他地方的类型推断行为。
But they make some people bristle because of the inference that women don't rise to the top in math because they're not as good.
但是由于女性没有在数学方面拔得头筹就推断她们不擅长数学的这个理论，很让一些人嗤之以鼻。
Nevertheless, because of type inference, in many cases no types have to be explicitly specified.
尽管如此，正如类型推论所说，在很多情况下我们不需要显式指定类型。
Code written in these languages require type annotations less often than in Scala, because Scala's type inference algorithm has to support object-oriented typing as well as functional typing.
用这些语言写出的代码需要比Scala更少的类型注解，因为Scala的类型推断算法得同时支持面向对象类型和函数式类型。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
The reason for using only a subset is that the inference model needs to be held in memory, and the WordNet model is too large for an in-memory model to be practical.
仅使用子集的原因是推理模型需要保存在内存中，WordNet模型对于内存模型过大而不能实现。
In a secure distributed database system, information inconsistency often exists, thus gives rise to inference channel.
安全分布式数据库系统中，常会出现信息不一致现象，由此产生推理通道。
However, since it is unnecessary for its premise to be absolutely credible and its inference pattern to be strictly effective, it has been used in great extent in criminal investigation.
然而，或然性推理不要求推理前提绝对真实可靠，也不要求推理形式严格有效，因此，在侦查推理中被大量运用。
OBJECTIVE: To introduce the mental model theory and probabilistic theory with their disputation and tradeoff in conditional inference domain.
目的：介绍条件推理领域心理模型理论与概率理论以及它们之间的争论与融合。
The purpose of this book is to present up-to-date theory and techniques of statistical inference in a logically integrated and practical form.
本书的目的，是采用逻辑上严谨而又切合实际的形式提出统计推断的最新理论与技巧。
The existence of abnormal data in the statistical inference leads to a larger error in the corollary result.
统计推断中异常数据的存在，导致推断结果存在较大误差。
It is an illogical reasoning process for those children who fail to master transitive inference in the reasoning processing.
未掌握传递性推理的儿童进行推理时基本上属于非逻辑的理性加工。
Guided by Relevance Theory, this paper aims to explore ellipsis in conversation in terms of pragmatic inference in the cognitive context.
文章从认知理论的角度出发，借助关联理论框架，探讨了日常会话中省略的语用阐释。
According to the characteristics in intelligent instrument faults, the hybrid inference method combining rule-based reasoning and case-based reasoning is adopted.
针对智能仪器的故障特点，采用规则推理和事例推理相结合的混合推理技术。
In the neural network corresponding to multidimensional fuzzy inference, the weights are adjusted by means of solution to fuzzy relation equation.
其中在多重模糊推理神经网络中，通过求解模糊关系方程的方法来确定网络的权值。
In its inference engine, meta-knowledge inference is applied to coordinate with quantitative inference, qualitative inference and neural network inference.
在其推理机方面，应用元知识推理以协调定性推理、定量推理和人工神经网络推理。
The role of statistical inference is to estimate the best parameter values or constants in an assumed cost function.
的作用，统计推断是估计的最佳参数值或常数的假设成本函数。
The controller is derived from the simplification and improvement of the typical inferential controller, and in which fuzzy logic and inference are used to adjust its filter time constant adaptively.
该控制器是在典型推断控制的基础上进行简化和改进，并用模糊逻辑和推理来自适应地调节控制器的滤波器时间常数。
A solution as compensating the controlled quantity by fuzzy inference is put forward in this paper to the problem of model mismatch caused by the predictive function control.
针对预测函数控制中模型失配的影响，提出了用模糊推理对控制量进行补偿的新型预测函数控制。
The algorithm translates the inference of Conceptual-Graphs, in a Closed World Model, to marking processes in Game-Trees.
该算法将封闭世界模型上的概念图推理转化为对博弈树根节点的可解性标示过程。
The purpose of interpreting legal facts using legal methods is to find the link between law and facts, and the interface between premises in legal reasoning in order to complete legal inference.
运用法律方法破解法律事实问题，意在将法律与事实有机连接起来，寻找法律推理大小前提之间的联接点，使法律推理得以完成。
The purpose of interpreting legal facts using legal methods is to find the link between law and facts, and the interface between premises in legal reasoning in order to complete legal inference.
运用法律方法破解法律事实问题，意在将法律与事实有机连接起来，寻找法律推理大小前提之间的联接点，使法律推理得以完成。
应用推荐