Sentence examples for verify a given from inspiring English sources
He argued that experience cannot be used to verify individual observation sentences, because any experience can be taken to verify a given observation sentence provided that sufficient adjustments are made in the truth values of the other sentences that make up the scientific theory in which the sentence is embedded.
The simplest of these suggestions is perhaps that the semantics of first-order logic should be considered in terms of certain games (in the precise sense of game theory) that are, roughly speaking, attempts to verify a given first-order sentence.
Examples of knowledge components used by the system would be "IndepDep: Distinguish independent and dependent variables," "SolveSystemBySubstitution: Solve system by substituting equivalent expression," or "VerifySolution: Verify a given number is a solution to an equation by substitution".
Finally, we also consider the problem Ver σ (S, F ) of verifying a given extension, i.e., testing whether a given set S is a σ-extension of F. This problem typically occurs as a subroutine of a reasoning procedure.
In order to verify that a given implementation conforms to such loosely defined specifications, the typical approach is to verify the implementation to be correct within well defined limits of time tolerance.
In addition, this algorithm can also be used to verify whether a given synchronized Petri net contains exactly a single unbounded place.
In this article we establish optimality criteria to verify that a given allocation corresponds to a schedule that yields the minimum value of Lmax.
Because everyone's health needs and the plans offered to them are so different, it is impossible to verify that a given high-deductible plan is better or worse than a particular managed care option.
The obtained bounds are guaranteed to contain the corresponding solution to the IVP and can be used to verify whether a given control strategy is admissible with respect to state and input constraints.
Recently, several attempts have been made to study probabilistic lossy channel systems (PLCS) in which the probability of losing messages is taken into account and the following qualitative model checking problem is investigated: to verify whether a given property holds with probability one.
This makes the result applicable in practice, e.g., as a quick, computationally inexpensive tests to verify if a given waveform achieves a certain outage probability.
