×

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

有限状态矩阵自动机和有限矩阵语言的Myhill-Nerode定理。 (英语) Zbl 1528.68190号

Barneva,Reneta P.(编辑)等人,《组合图像分析》。第21届国际研讨会,IWCIA 2022,墨西拿,意大利,2022年7月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13348页、第154-170页(2023年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性自下而上标称树自动机的主动学习。 (英语) Zbl 07719841号

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 342-359 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

常见注册自动机形式的分类和简化。 (英语) 兹比尔1522.68265

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 186-218 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

永远不要停止无语境学习。 (英语) Zbl 1522.68250号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 164-185 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查、综合和学习。 (英语) Zbl 1522.68339号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 1-7 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习单时钟定时自动机。 (英语) Zbl 1507.68163号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 444-462 (2020).
PDF格式BibTeX公司 XML格式引用

确定性新生注册自动机的多项式时间等价性测试。 (英语) Zbl 1512.68143号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第72条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习符号自动机。 (英语) Zbl 1452.68092号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 173-189 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段