Sentence examples for a formalization of the from inspiring English sources

Supervisory control theory deals with automated synthesis of provably correct models of supervisory controllers based on formal models of the system components and a formalization of the coordination requirements.

Here a formalization of the theory of memes is proposed, making use of a formal language that is adequate to represent neural information processing.

The clubs are a formalization of the loose confederacies that developed among rural African-Americans out of kinship, friendship or necessity.

As discussed above under Neural nets and automata, a formalization of the intuitive idea of algorithm has led to what is now called an automaton.

The speech, preceded by a youth chorus singing "Money (That's What I Want)" and ending with Dionne Warwick's "Say a Little Prayer," was a formalization of the points Ms. Weingarten has made in editorials and on television as states' budget crises have landed at the schoolhouse door.

The new inquiry report, along with the revelation of the details of a forensic audit by Kroll Investigations that described Kabul Bank as a Ponzi scheme to funnel riches to roughly a dozen members of country's elite, is a formalization of the frustrations and suspicions that many Afghan and Western officials have held for months about how the government is handling the investigation.

We present a formalization of this language in the Rewriting Logic framework, employing equations for defining abstraction mappings on the state space of the system.

A formalization of this idea takes the form of an Ockham Theorem: A theorem that shows (under appropriate restrictions) that an inductive method achieves the best mind change bound possible for a given problem if and only if the method is the Ockham method, that is, it selects the simplest hypothesis consistent with the data.

We offer a formalization of DFC and the concept of "controllability" that facilitates development and maintenance of more efficient control systems.

To get at the idea, note first that the notion of an intended Tarski model makes perfectly good sense for a formalization of nonmodal discourse about the actual world.

The MDL principle is a formalization of Occam's razor in which the best hypothesis for a given set of data is the one that yields compact representations.