| 词汇 | example_english_verification |
| 释义 | Examples of verificationThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. The position of the isocentre for verification and treatment was defined using reference movements from these tattoos. The meaning of a proposition is given by what counts as a verification of it. We also present the verification procedures for the three safety properties of the implementation programs which have complex control-paths. The antecedent clause in this example is a verification condition that might be discharged by applying a rule that expresses a property of integer arithmetic. Our verification method makes use of symbolic representations of infinite set of system states and of symbolic backward reachability. Intensional logics of various types have already proven useful in different areas of computer science, but mainly in artificial intelligence and verification (temporal logics). The value of frequent treatment verification films in reducing localisation error in the irradiation of complex fields. An assumption of fixed verification costs in our model would imply higher returns to wealthier producers. In insects of economic importance, verification of the physiological potential for hybrid production and viability of offspring has special implications. These models will require verification from field plantings before use in outdoor systems. This can be obtained only with an accurate verification and correction protocol. This reflects the denotational semantics view of programming, but rules out or at least complicates many other specification and verification tasks. The question of what constituted a theme was peer reviewed internally for verification. We now show how to enhance verification with a technique that will remove from consideration those traces containing no occurrence of a given formula. In principle, guard verification consists of two automated steps: (a) generating the guard conjectures, and (b) proving them to be theorems. We have not attempted machine verification, but believe that the supporting concepts are formalized well enough that it would be feasible. In addition, all parties know that the probability of verification given shirking is one-third. Finally, he proves this verification condition, maybe even using an automated first-order theorem prover. To speed up the process, we decided to first use an intermediate level of zoom, and then, use the appearance-based object detector for final verification. It includes items that measure the behavioural expression of verification of diagnosis, expression of symptoms, medication, consequences of illness, and scanning. Indeed, verification that a particular emotional state has been elicited in an individual is a vexing issue in affective science. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。