| 单词 | provably |
| 释义 | BETA Examples ofprovablyDictionary> Examples ofprovably provablyisn’t in the Cambridge Dictionary yet. You can help! Add a definition In addition, our a. s. algorithms have the advantage that their failure probability isprovablyexponentially low. From theCambridge English Corpus In 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 Corpus One approach is to find approximation algorithms withprovablygood worst-case performance guarantees. From theCambridge English Corpus In fact, it is possible to derandomize this procedure, to achieve a deterministic cut that isprovablyclose to maximum weight. From theCambridge English Corpus Consistency allows elimination of sets ofprovablyinfeasible designs, thereby reducing the search space. From theCambridge English Corpus Besides the sliver exudation method described in this section, there are two other methods thatprovablyremove slivers. From theCambridge English Corpus Two expressions are safely equivalent if every closed instantiation of every use isprovablyequivalent in the assignment calculus. From theCambridge English Corpus The fifth section discusses the cost of touch operations and presents aprovablycorrect algorithm for eliminating unnecessary touch operations. From theCambridge English Corpus The specific example we choose to consider is the development of an algorithm for removingprovablyredundant touch operations from programs. From theCambridge English Corpus A security type system is given that controls information flow in this language,provablyenforcing noninterference. From theCambridge English Corpus It is an advanced tool for the construction ofprovablycorrect software. From theCambridge English Corpus Uncertain environments require robust plans that, while not alwaysprovablyoptimal, assure that the system will not fail in the face of environmental change. From theCambridge English Corpus Although not aprovablypolynomial time algorithm, the simplex method is extremely efficient in practice. From theCambridge English Corpus Of course, an inductive type isprovablyisomorphic to any faithful copy of it. From theCambridge English Corpus These systems are mostly part of an effort to move toward aprovablycorrect implementation of exact real arithmetic. From theCambridge English Corpus While one may not be interested in adding choice axioms, the fact that some choice principles areprovablyfalse is undesirable. From theCambridge English Corpus We use the last semantics to derive a program analysis algorithm and an optimization algorithm that removesprovablyredundant touch operations. From theCambridge English Corpus Constable et al. (1998) formalized a large portion of finite automata theory and synthesized aprovablycorrect algorithm for state minimization. From theCambridge English Corpus Here, a class of "semantically tractable questions" is defined, each of which yields aprovablycorrect answer. From theCambridge English Corpus The 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. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。