Sentence examples for procedure of deciding from inspiring English sources

Up to now, malware analysis [9, 10] have the high growing impact in the procedure of deciding the reason and the usefulness the conduct of a given suspicious application.

(Such a \ y\) is often called a certificate for \(x\)'s membership in \(X\).) The procedure of deciding \(x \in X\) by exhaustively searching through all of the certificates \ y_0, y_1, \ldots \in S_x\) and checking if \(R_X x,y)\) holds at each step is known as a brute force search.

Its origins are to be found in Hilbert's question concerning the decidability of predicate calculus: could there be an algorithm, a procedure, for deciding of an arbitrary sentence of the logic whether it was provable (The Entscheidungsproblem).

Is the Commission considering the desirability of reopening the procedure for deciding where the EMA should be located in future?

When, therefore, Wittgenstein says (PG 368) that if "[the Law of the Excluded Middle] is supposed not to hold, we have altered the concept of proposition," he means that an expression is only a meaningful mathematical proposition if we know of an applicable decision procedure for deciding it (PG 400).

Background and aim: There is no simple procedure for deciding on the number of response categories for a QoL questionnaire for schizophrenic patients.

Because the budget is now so important to national economies, a number of different procedures for deciding on the structure of the budget have been developed, and these vary considerably between countries.

His methods of persuasion are intellectual rather than personal, and they are closely tied to the court's procedure for deciding cases.

Every station that is granted permission to transmit (through the polling procedure) implements the AWPP method of deciding which packet to send.

The derived procedure to decide the shape of the impact limiter can be useful at the preliminary design stage when the transportation package's outline is roughly determined and applied as an input value.

We implement the following procedure to decide the length of a query signature.