单词 provably 释义 BETA

Examples ofprovably

Dictionary> Examples ofprovablyprovablyisn’t in the Cambridge Dictionary yet. You can help!Add a definitionIn addition, our a. s. algorithms have the advantage that their failure probability isprovablyexponentially low.From theCambridge English CorpusIn fact, no algorithms for computing stable models are known whose worst-case performance would beprovablybetter than that of the brute-force algorithm.From theCambridge English CorpusOne approach is to find approximation algorithms withprovablygood worst-case performance guarantees.From theCambridge English CorpusIn fact, it is possible to derandomize this procedure, to achieve a deterministic cut that isprovablyclose to maximum weight.From theCambridge English CorpusConsistency allows elimination of sets ofprovablyinfeasible designs, thereby reducing the search space.From theCambridge English CorpusBesides the sliver exudation method described in this section, there are two other methods thatprovablyremove slivers.From theCambridge English CorpusTwo expressions are safely equivalent if every closed instantiation of every use isprovablyequivalent in the assignment calculus.From theCambridge English CorpusThe fifth section discusses the cost of touch operations and presents aprovablycorrect algorithm for eliminating unnecessary touch operations.From theCambridge English CorpusThe specific example we choose to consider is the development of an algorithm for removingprovablyredundant touch operations from programs.From theCambridge English CorpusA security type system is given that controls information flow in this language,provablyenforcing noninterference.From theCambridge English CorpusIt is an advanced tool for the construction ofprovablycorrect software.From theCambridge English CorpusUncertain environments require robust plans that, while not alwaysprovablyoptimal, assure that the system will not fail in the face of environmental change.From theCambridge English CorpusAlthough not aprovablypolynomial time algorithm, the simplex method is extremely efficient in practice.From theCambridge English CorpusOf course, an inductive type isprovablyisomorphic to any faithful copy of it.From theCambridge English CorpusThese systems are mostly part of an effort to move toward aprovablycorrect implementation of exact real arithmetic.From theCambridge English CorpusWhile one may not be interested in adding choice axioms, the fact that some choice principles areprovablyfalse is undesirable.From theCambridge English CorpusWe use the last semantics to derive a program analysis algorithm and an optimization algorithm that removesprovablyredundant touch operations.From theCambridge English CorpusConstable et al. (1998) formalized a large portion of finite automata theory and synthesized aprovablycorrect algorithm for state minimization.From theCambridge English CorpusHere, a class of "semantically tractable questions" is defined, each of which yields aprovablycorrect answer.From theCambridge English CorpusThe aim of our abductive application was to certify that a given expert system diagnosis module wasprovablycorrect with respect to foreseen physical events.From theCambridge English Corpus

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.