机译:图富氏吉恩(FJ)基于高斯混合模态(GMM)面部和签名多模态生物识别融合系统的曲调算法
机译:减少和抽象进行分布式圆形算法正式验证
机译:循环依赖关系的大多数自动化形式验证,以及在分布式模板算法中的应用
机译:用于实时分布式过程控制系统中任务调度算法分析和验证的Petri网工具
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:常春藤:用于分布式算法的多模态验证工具
机译:分布式图自动机与分布式算法的验证
机译:aRL多模态传感器:用于目标签名收集算法验证和安置研究的研究工具