check seal image; seal verification; pre-processing; registration algorithm;
机译:模型检查:算法验证和调试
机译:基于区域增长的中国银行支票印章印章定位算法
机译:高效的TCTL模型检查算法和归约参与者模型验证的归约技术
机译:检查密封验证登记算法研究
机译:将类型检查与模型检查相结合以进行系统验证
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:使用有界模型检查来验证共识算法
机译:验证分布式算法的软件模型检验。