Sentence examples for procedure verification from inspiring English sources

Operator Procedure Verification with a Rapidly Reconfigurable Simulator; invited speaker, 3rd International Symposium on AI, Robotics, and Automation for Space; 1994.

Y. Iwasaki, R. Engelmore, G. Fehr, R. Fikes, A. Farquhar, T. Gruber; Operator Procedure Verification with a Rapidly Reconfigurable Simulator; Proceedings of the 3rd International Symposium on AI, Robotics, and Automation for Space, October 1994.

They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories.

In the training procedure, the verification set comprises three randomly selected samples and the rest 13 samples were used as the training set.

For details of experimental procedures and verification of the efficacy of cue-induced craving and abstinence procedures see [14].

Russian officials said it would be 15 pages, with a 154-page protocol outlining specific procedures for verification.

A narrowly literalistic interpretation and advocacy of Abrahamic traditional faith proposals became possible only under the influence of modern scientific procedures of verification and falsification, no earlier than Francis Bacon and René Descartes of the 17th century.

They charged that he made uncritical generalizations; ignored rigorous procedures of verification; favoured archaic and Asian religions (especially Hinduism) and nature-oriented peasant-based phenomena of "cosmic religion" (including "cosmic Christianity"); and interjected metaphysical and theological assumptions into his studies.

Each language-game has its own rules, including its own procedures for verification.

Verification of equipment and methods related performance 1 1 1 No procedures of verification for equipment and methods were preformed in all producers.

Table 3 Experimental and predicted values of chosen points (obtained from optimization procedures) for verification of fitted reduced models   Astaxanthin conc.