Dessa är ordets examples relaterade till formalize. Klicka på valfritt ord för att gå till dess ords detaljsida. Eller, gå till definitionen av formalize.
When such an arrangement becomes formalized, the practice of unit-based ethics begins.
Let us first formalize the expansion of free variables.
In this section we formalize type and instantiation definitions in terms of (extended) regular tree grammars.
We have not attempted machine verification, but believe that the supporting concepts are formalized well enough that it would be feasible.
A population hazard model formalizes this conceptualization by ascribing vertical displacement in the population hazard profile to variation in the predictors.
These results formalize and clarify a set of contending intuitions about function that researchers have had.
Most non-monotonic logics aim to formalize this phenomenon of 'default reasoning', but they do so in different ways.
To formalize this transformation process, the two loop modifications needed are presented in figure 17.
Conversational games are formalized as recursive transition networks.
All semantics are formalized as big-step operational semantics.
Again, we call on a necessity for regularities in design space to both formalize and make efficient notions of similaritybased recall.
In this way, type theory can be formalized with a finite number of axioms.
For the theory to be formalized, this delicate balanced condition has to be more clearly spelled out.
Early workshops were focused mostly on identifying what contexts and ontologies are, and how they can be formalized and exploited.
Recently, the use of type systems to formalize protocols has interested many researchers.
