Sentence examples for problem of verifying from inspiring English sources

The paper deals with the problem of verifying behaviour-based control systems.

President Bush, citing the problem of verifying any agreement, has suspended talks pending the completion of a review of policy toward North Korea.

It is doubtful that even on-site inspection, if Moscow ever agreed to it, would solve the problem of verifying arms-treaty limits.

We study the problem of verifying role-based multi-agent systems, where the number of components cannot be determined at design time.

This paper addresses the problem of verifying the application of a Pattern Language in a design that is built based upon the patterns of the language in a model-driven approach.

This new approach reduces the hard problem of synchronization of coupled oscillators to a simple problem of verifying synchronization solution of a system of linear equations, and leads to a complete characterization of synchronization condition for the coupled oscillator network in an interesting and practically important region.

The letter arrived two months after Mr. Bush cited problems of verifying an agreement with the North on stopping the production, testing or exporting of missiles.

In the second part of the dissertation, we address the problem of formally verifying properties of the execution behavior of Convex-MDPs.

We apply the proposed framework and model-checking algorithm to the problem of formally verifying quantitative properties of models of the behavior of human drivers.

This paper addresses these gaps by studying the joint effect of two factors the difficulty of solving a problem and the difficulty of verifying the correctness of a solution on the ability of groups of varying sizes to converge to correct solutions.

Then, IAFOA is used to solve three engineering optimization problems for the purpose of verifying its practicability, and experiment results show that IAFOA can generate the best solutions compared with other ten algorithms.