机译:从痕迹和时间特性自动推断有限状态植物模型
Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland;
Department of Computer Technology, ITMO University, St. Petersburg, Russia;
Solid modeling; Automata; Automation; Software; Model checking; Informatics; Data models;
机译:根据场景和时间属性进行精确的有限状态机识别
机译:使用综合嵌套拉普拉斯近似和高斯马尔可夫随机字段,贝叶斯时空推动痕量气体排放
机译:使用综合嵌套拉普拉斯近似和高斯马尔可夫随机字段,贝叶斯时空推动痕量气体排放
机译:从执行跟踪中基于CSP的功能块有限状态模型推断
机译:自动推断和有效应用时间规范。
机译:用于肺结节的计算机辅助诊断的自动推理模型构建:解释充分推理准确性和专家知识
机译:从痕迹和时间特性自动推动有限状态工厂模型