AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于概率时间属性的概率时间自动机验证
Dang Van Hung; Zhang Miaomiao;
机译:p-Automata:离散时间概率验证的新基础
机译:关于验证概率实时系统自动机规格的说明
机译:验证分布式概率实时系统的自动机规范
机译:关于概率持续时间属性的概率定时自动机的验证
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:基于广义概率自动机的语义计算形式模型
机译:验证概率时间自动机对抗Omega-Regular密集时间 属性
机译:概率下推自动机的性质
机译:基于电话级别对数似然比和电话持续时间的概率分布的使用单词声纹模型的话语验证系统和方法
机译:基于电话对数似然比的概率分布和电话持续时间的基于单词语音模型的话音验证系统和方法
机译:用于自动因果发现的时间调制生成概率模型,可监控数据包的时间
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。