×

找到1565个文档(结果1-100)

通过小组行动进行模型和程序修复。 (英语) Zbl 07770353号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13992, 520-540 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

{repair}语法是斐波那契单词的最小语法。 (英语) Zbl 07842487号

Bannai,Hideo(ed.)等人,第33届组合模式匹配年度研讨会,CPM 2022,捷克共和国布拉格,2022年6月27日至29日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。223,第26条,第17页(2022)。
MSC公司:68瓦32
PDF格式BibTeX公司 XML格式引用

Reed-Solomon码的非线性修复方案。 (英语) Zbl 07829282号

Mark Braverman(编辑),《理论计算机科学会议的第13次创新》,ITCS 2022,美国加州伯克利,2022年1月31日至2月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215,第50条,第1页(2022年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机过程代数的速率提升——利用结构特性。 (英语) Zbl 1522.68371号

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。2022年9月12日至16日,第19届国际会议,QEST 2022,波兰华沙。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479,67-84(2022)。
PDF格式BibTeX公司 XML格式引用

(\mathcal{E}\mathcal{L}\)TBoxes的最优固定前提修复。 (英语) Zbl 1522.68528号

Bergmann,Ralph(编辑)等人,KI 2022:人工智能的进展。2022年9月19日至23日在德国特里尔举行的第45届德国人工智能会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13404, 115-130 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有可达性分析的神经网络修复。 (英语) Zbl 07643437号

Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 221-236 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

通过动态逻辑中的事件-条件-操作规则修复数据库。 (英语) Zbl 07630640号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

SpecRepair:深度神经网络引导安全修复的反例。 (英语) Zbl 1514.68119号

Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13255, 79-96 (2022).
PDF格式BibTeX公司 XML格式引用

具有灾难故障和多重工作休假的M/M/1队列的时间相关分析和计算研究。 (英语) Zbl 1497.90070号

Chadli,Ouayl(编辑)等人,《数学分析与应用》,MAA 2020。根据2020年11月2日至4日在印度贾姆谢德布尔举行的会议上的发言,选出了一些论文。新加坡:斯普林格。Springer程序。数学。《美国联邦法律大全》第381卷第293-304页(2021年)。
MSC公司:90B22型 60K25码 60-08
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在完全修复和任意分布的修复时间下,打开\(k\)-out-of-\(n\)系统。 (英语) Zbl 1498.90063号

Vishnevskiy,Vladimir M.(编辑)等人,《分布式计算机和通信网络:控制、计算、通信》。第24届国际会议,DCCN 2021,俄罗斯莫斯科,2021年9月20日至24日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13144, 323-335 (2021).
MSC公司:90B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式存储的代码。 (英语) Zbl 1489.94194号

哈夫曼·W·卡里(编辑)等人,《简明编码理论百科全书》。佛罗里达州博卡拉顿:CRC出版社。735-761 (2021).
MSC公司:94B60码 94-02
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

不可靠服务和假期中断的机器维修问题中的备用供应。 (英语) Zbl 1469.90069号

Kumar,Amit(编辑)等人,《通过数学建模的可靠性、维护和系统安全手册》。阿姆斯特丹:爱思唯尔/学术出版社。101-133 (2021).
MSC公司:90B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件