网站首页  词典首页

请输入您要查询的英文单词:

 

单词 formalize
释义

Examplesofformalize

formalize
When such an arrangement becomes formalized, the practice of unit-based ethics begins.
From theCambridge English Corpus
Let us firstformalizethe expansion of free variables.
From theCambridge English Corpus
In this section weformalizetype and instantiation definitions in terms of (extended) regular tree grammars.
From theCambridge English Corpus
We have not attempted machine verification, but believe that the supporting concepts are formalized well enough that it would be feasible.
From theCambridge English Corpus
A population hazard model formalizes this conceptualization by ascribing vertical displacement in the population hazard profile to variation in the predictors.
From theCambridge English Corpus
These resultsformalizeand clarify a set of contending intuitions about function that researchers have had.
From theCambridge English Corpus
Most non-monotonic logics aim toformalizethis phenomenon of 'default reasoning', but they do so in different ways.
From theCambridge English Corpus
Toformalizethis transformation process, the two loop modifications needed are presented in figure 17.
From theCambridge English Corpus
Conversational games are formalized as recursive transition networks.
From theCambridge English Corpus
All semantics are formalized as big-step operational semantics.
From theCambridge English Corpus
Again, we call on a necessity for regularities in design space to bothformalizeand make efficient notions of similaritybased recall.
From theCambridge English Corpus
In this way, type theory can be formalized with a finite number of axioms.
From theCambridge English Corpus
For the theory to be formalized, this delicate balanced condition has to be more clearly spelled out.
From theCambridge English Corpus
Early workshops were focused mostly on identifying what contexts and ontologies are, and how they can be formalized and exploited.
From theCambridge English Corpus
Recently, the use of type systems toformalizeprotocols has interested many researchers.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/formalize##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 12:22:40