×

找到4个文档(结果1-4)

参数区间马尔可夫链的参数综合算法。 (英语) Zbl 1508.68256号

Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10854, 121-140 (2018).
MSC公司:第68季度87 60J10型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机模型线性时间特性的贝叶斯统计参数综合。 (英语) Zbl 1423.68322号

Beyer,Dirk(编辑)等人,《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议(TACAS 2018),是欧洲软件理论与实践联合会议(ETAPS 2018)的一部分。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10806, 396-413 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前3名

主字段

全部的 前3名

软件