As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
In addition, minimize the use of graphics-based verification points that may dramatically increase the size of the associated files.
另外，使用最小化基于图形的确认点也可以明显带增大相关文件的尺寸。
The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模，实例说明这种方法的性能。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
Instead of replacing the standard Linux authentication process, the approach used here will introduce another layer of verification based on the user name.
本文中使用的方法不会取代标准的Linux验证过程，而是在用户名的基础上引入另一个验证层次。
To make things extra interesting (and easy) I've used easyb, a Groovy-based behavior-driven development framework that facilitates natural-language verification.
使事情更加有趣(和简单)的是，我使用了easyb，这是一个基于Groovy的行为驱动开发架构，利用自然语言验证。
This verification step can be done and automated with model-based testing.
这一确认步骤可以通过基于模型的测试完成。
Dan Pinkston, a Seoul-based analyst with the International Crisis Group, speculates Washington and Pyongyang may soon reach a verification compromise.
平克斯顿是“国际危机组织”驻首尔的分析人士。他推测，华盛顿和平壤很快会就核实核清单的问题达成一项妥协性协议。
Based on facial features extraction and verification, we present a new human face detection method.
提出了一种基于特征提取和验证相结合的人脸检测方法。
1 Decision tables offer a simple, visual aid, and they can be applied in knowledge-based systems to perform verification processes efficiently.
1决策表提供了一个简单的，可视化的帮助，它可以在知识库系统中被使用，来高效的执行验证过程。
Reusing model-based tests for software verification
再使用基于模型的测试以便软件确认
The support vector machine based speaker verification models are trained on the enrolled speaker and the background model.
支持向量机用作说话人确认模型来训练目标说话人和背景说话人的语音数据。
The sample plug-ins (unsigned, signed, and expired) introduced by this article could be moved to another Eclipsed-based product that requires security verification.
本文介绍的样例插件(未签名的、签名的和过期的)适用于其他需要安全验证的基于Eclipse的产品。
Selection, retention or hire of any individual or entity is based solely on your company's investigation, verification and determination that such hire is suitable for your company's purposes.
选择、保留或雇佣任何个人或实体完全基于贵公司对人员是否符合标准的调查、核实和决策。
The unique factors of case-based systems (CBS) make verification and validation of CBS different from other types of artificially intelligent systems.
基于事例系统（CBS）本身的特性使得其验证和有效性不同于其它的人工智能系统。
Upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation.
在验证弱起源集阶段，针对不同类型的转换和属性映射，给出了相应的验证算法。
The application of existing testability verification methods is analyzed, and the necessity of a testability verification method based on data evaluation in development phase is described.
分析了现有测试性验证方法应用情况，阐述了测试性研制阶段数据评估验证方法的必要性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
Describes the design and implementation of an on line fingerprint verification system based on minutiae matching.
描述了一个基于特征点匹配的联机指纹验证系统设计思想和实现方法。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
A new minutiae verification method based on the fuzzy geometry features and texture features is proposed.
提出了一种新的基于模糊几何特征和纹理特征的细节点验证方法。
To verify deadlines of activity instances within workflow, a method of dynamic verification was proposed based on the critical path.
为了动态验证工作流中活动实例的截止期限，提出了一种基于关键路径进行动态验证的方法。
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
A fuzzy decoupling algorithm based on system characteristic parameters and an expert system of BP network based on repetitive verification are established.
提出基于系统特征参数提取的模糊解耦算法，以BP网络构成基于重复检验的专家系统。
The paper proposes an online handwriting signature verification algorithm with signature energy as feature based on dynamic time warping (DTW).
提出了一种基于DTW匹配的以签名能量为特征的在线手写签名验证算法。
A speaker verification system based on support vector regression machine (SVR) is presented in this paper.
提出一种基于支持向量回归机的说话者确认方法。
In this paper, a new off-line signature verification algorithm based on competitive cluster is presented.
提出一种新的基于竞争聚类的离线签名验证算法。
In this paper, a new off-line signature verification algorithm based on competitive cluster is presented.
提出一种新的基于竞争聚类的离线签名验证算法。
应用推荐