×

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

SyReNN:用于分析深层神经网络的工具。 (英语) 兹比尔1474.68304

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 281-302 (2021).
MSC公司:68T07型
PDF格式BibTeX公司 XML格式引用

欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 (英语) Zbl 1520.90206号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第8条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段