Sentence examples for a verification method from inspiring English sources

A verification method for non-deterministic architecture is proposed.

Users can manually add reviews submitted to non-Elsevier journals, with a verification method planned to be introduced later.

This paper is an overview of our results on the application of abstract interpretation concepts to the derivation of a verification method for logic programs.

In this paper, we propose an optimization method for the design of radar-absorbing structures (RAS) made of fiber reinforced plastic structures using a response surface model and a verification method using a scanning free space measurement (S-FSM) system.

In this paper, a verification method for piecewise affine systems is considered, and a method to determine how sensitive the verified properties are to changes in the dynamics and the locations of the switching surfaces is proposed.

Here P I ≡ ( ( f ( U ), ϕ i ) ) i ∈ I. System (4.4) is in fact a bilinear system of equations whose right-hand side consists of intervals with constraint conditions z I Γ ≥ 0 and w I Γ ≥ 0. To solve the nonlinear system (4.4) with automatic verification of the correctness of the result, a verification method for nonsmooth equations by a generalized Krawczyk operator as in [15] could be used.

We propose a non-destructive watermark embedding algorithm and a contactless verification method for protecting the design intellectual property (IP) of an embedded controller modeled as a synchronous FSM.

Tinder does require Facebook account authorization to verify identity already, but a lot of celebs use fake names on the social network, or avoid it altogether, so Rad tells the entertainment pub that they quickly realized they needed an alternate an alternate verification method for their growing pool of celebutantes.

A numerical verification method to verify the existence of solutions for mathematical problems is a new approach in the field of existence theory of solutions for mathematical problems that appear in mathematical analysis.

Before we illustrate a simple verification method for this property, we need to introduce additional notation.

We propose a person verification method using behavioral patterns of human upper body motion.