Sentence examples similar to a formalization method from inspiring English sources

The matrix Jordan canonical formalization method is used instead of the matrix diagonalization method, so in our synchronization criteria, the coupling configuration matrix is not required to be diagonalizable.

Although logical techniques and formalization methods take center stage in this book, it also contains material on nonlogical methods and on implementations related to the formalizations.

The following section ("Methods") will introduce a formalization of the problem being tackled here.

The paper introduces a formalization of the whole process and proposes a heuristic multi-stage method for the identification of the optimal combination of cell design choices and motion planning.

We develop a formalization of the problem and derive an efficient gradient-based optimization method.

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.

"A Formalization of the Ptolemy II Type System".

The paper presents a formalization of interruptions as multi-agent decision making.

The proposed solution includes a language with semantics based in a formalization of each space model.

In this section, we introduce a formalization of our model.

Figure2 represents a formalization of the platform load.