Sentence examples for checker using from inspiring English sources

After developing the algorithms, we trained the spell checker using the training data set.

We built a custom dictionary as part of the spell checker using the UMLS SL and WordNet with specialized columns (Table 1).

This means a much less verbose specification, when compared with the general-purpose specification language of the model checker used in our experiments.

VAO Checker used a simple motion-planning algorithm to find a path with acceptable approachable accessibility, and programmed the mathematical models into visualization information indicating the visual and operational accessibility.

For historically archived samples, such as ours, Nielsen and Hansen [ 98] recommended including positive and negative controls, having a separate laboratory space and separate chemicals, testing for null alleles with Micro-Checker, using samples with complete documentation of biological information, testing for HWE, and applying more than one statistical test to validate patterns.

Both the binary rewriter and the integrity checker use ndisasm and binutils to get the disassembled code from the binary code fragments.

The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques.

UPPAAL checker is used to verify that the filter is sufficient to avoid that the manufacturing system reaches dangerous forbidden states.

UPPAAL checker is used to verify that the filter is sufficient to avoid the manufacturing system to reach dangerous forbidden states.

Finally, an automated proof checker is used to check the correctness of all final proofs prior to being submitted for publication and being made available to the rest of the mathematical community via the creation of new entries in a repository of formalized mathematics.

Data were double entered in Microsoft Excel Workbook and the auto checker was used to assist in the verification process [ 8].