Sentence examples for checking based from inspiring English sources

The development of authorship checking based on computational linguistic approaches was an area of particular interest.

In [2 4, 13, 14, 39], the authors propose model checking based approaches for reliable smart environments.

We show that the TECTLK model checking problem is decidable, and we present an algorithm for bounded model checking based on a discretisation method.

If not available, than hospitals should focus on a select part of medication checking based on specific risks and workflow [3].

Then, the subsystems with a desired behaviour that can (resp. cannot) be easily specified manually are designed using a model checking based approach (resp. our approach).

The advantage of model checking based approaches is that several methods have been proposed for the reduction of the verification cost.

"Appropriate checks based on robust science must be in place to maintain this safety record and the committee's recommendation reflects this.

Selected modes are then checked based on this parameter.

The applicability of the modified method was checked based on numerical experiments.

The system validity is then checked based on two concepts: data validation and multiple object separation.

The accuracy of the model was checked based on the statistical data given in Table 7.