IS的例句大全

The unofficial town motto, plastered on bumper stickers, is an ironic "Keep Cleveland Boring."

镇上的非官方格言被印在汽车保险杠贴纸上，略带一些自嘲：“让克利夫兰继续无聊下去吧。”

互联网摘选

likewise, xml is a metalanguage because it's a language that describes languages.

类似地，XML是一种元语言，因为它是一种描述语言的语言。

互联网摘选

web access sequential patterns are stored via a type of tree structure and the page matching is based on the tree structure. then, the page recommendation algorithm based on access sequential pattern is proposed.

使用一种树形结构来存储挖掘得到的Web访问序列模式，在该树形结构的基础上进行页面匹配，给出了一种基于访问序列模式的页面推荐算法。

互联网摘选

in order to improve the algorithm accuracy, this thesis uses the low-order tensor decomposition ( lotd) which is more accord with sparse data statistical properties, and proposes a new user prediction algorithm by updating the original low-order tensor decomposition model.

为了提高算法精确度，本文利用更符合稀疏数据统计特性的张量模型&低阶张量分解（LOTD），通过更新此张量分解模型，提出新用户标签推荐算法。

互联网摘选

a product recommendation algorithm is refined with these measures.

并使用该种度量指标对现有的产品推荐算法进行改进。

互联网摘选

collaborative filtering algorithm is one of the most widely used recommendation algorithms.

协同过滤是应用最广泛的一类推荐算法。

互联网摘选

geographical expert system ( ges) is the combination of artificial intelligence ( ai) and geographical information system ( gis).

80年代人工智能与地理学的结合产生了地理专家系统（GES）。地理专家系统是继地理信息系统之后，对地理知识与推理形式化，建立的具有一定地理专业水平的计算机软件系统。

互联网摘选

but because formal logic just assures there is right logic in the reasoning process, whether the reasoning conclusion is right has to depend on whether the reasoning premise is right.

既往的冲突法理论都以形式逻辑作为推理形式，由于形式逻辑只是确保推理过程正确的逻辑，推理结论正确与否必须依赖于推理前提的正确与否。

互联网摘选

based on the distributed memory model, a source-to-source compiler is designed for a heterogeneous multi-core cell.

以异构多核处理器Cell为实例，基于分布式存储模型为Cell处理器设计并实现了一个源到源编译器。

互联网摘选

The nearest shopping mall is the Parkson You could turn left after you left the hotel entrance.

最近的购物中心酒店四周的百盛购物中心，出酒店左转即到。

互联网摘选

the formal verification based on logical inference is an important method to improve the software reliability.

基于逻辑推理的形式验证是提高软件可信程度的一种重要方法。

互联网摘选

it is a form of expression convenient for logical deduction.

单调性、守恒性，是一种便于逻辑推理的表达形式。

互联网摘选

a formalized method of reasoning process for product conceptual design is proposed, and the process from product function demands to method atom is developed. the reasoning process result is prepared for the next process for evaluation and optimization.

提出了产品概念设计推理过程的形式化方法，实现了从产品功能需求到方案元表示的可行方案的推理过程，并把推理结果提供给下层设计进行优选和评估。

互联网摘选

to establish a formal inferential system of intention consequences is an important issue in the formal study of intention.

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。

互联网摘选

but most of them think the process of legal reasoning is a combination of the form of logical reasoning and dialectical reasoning, in which there is the external demands about legitimacy of the form and also the substantive rationality inherent to pursue.

大多数学者认为法律推理的过程是形式逻辑推理与辨证推理的结合，既有形式合法性的外在诉求，又有实质合理性的内在追寻。

互联网摘选

the reasoning from analogy is an important form of law inference involving logical and psychological problems.

类比推理是法律推理的重要形式，它不仅涉及到逻辑问题，而且涉及到心理学问题。

互联网摘选

as the figure shows, the top level of abstraction is elasticity, automated deployment, and utility computing.

如图所示，抽象的顶部是灵活性、自动部署和实用计算。

互联网摘选

but when an intruder breaks into his home, kills his son and brutalize his wife, archer's ideal life is shattered.

但好景不常，一名凶徒闯入他的住所爱儿杀害并暴虐他的妻子，就此粉碎了他完美的生活。

互联网摘选

it should be national; that is to say, revolutionary at a distance, not through acts committed, but by reason of ideas accepted.

他应当是民族主义的，就是说，不即不离的革命者，这不是从他具体的行动看，而是从他所接受的思想看。

互联网摘选

It is now possible to change the Sync status of a task from Public to Private.

现在是不可能改变现状的任务同步公开私人.

网络文摘精选