×

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

加权的自下而上和自上而下树转换是无与伦比的。 (英语) Zbl 07810936号

Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14151, 218-229 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带约束的加权树自动机。 (英语) 兹比尔07571012

Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13257, 226-238 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

恒定加权扩展树传感器的组成。 (英语) Zbl 07498716号

Moreira,Nelma(编辑)等人,《语言理论的发展》。第25届国际会议,DLT 2021,葡萄牙波尔图,2021年8月16日至20日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12811,66-77(2021)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权树自动机的模糊层次结构。 (英语) Zbl 07495111号

Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12803, 140-151 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树上替换文法。 (英语) Zbl 07601074号

Jonoska,Nataša(编辑)等人,《语言理论的发展》。第24届国际会议,DLT 2020,美国佛罗里达州坦帕,2020年5月11日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12086, 237-250 (2020).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性加权扩展自上而下树换能器的合成闭包。 (英语) 兹比尔1434.68247

Hospodár,Michal(编辑)等人,《自动机的实现和应用》。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11601, 133-145 (2019).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树到树统计机器翻译模型的组成。 (英语) Zbl 1436.68373号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 293-305 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性加权树自动机的超最小化。 (英语) Zbl 1464.68176号

埃西克、佐尔坦(编辑)等,《第14届国际自动机和形式语言会议论文集》,AFL’14,塞格德,匈牙利,2014年5月27日至29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)151、314-326(2014)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

保持规则的多个自下而上树传感器的威力。 (英语) Zbl 1302.68172号

Holzer,Markus(编辑)等人,《自动机的实现和应用》。2014年7月30日至8月2日,第19届国际会议,CIAA 2014,德国吉森。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08845-7/pbk)。计算机科学课堂讲稿8587,278-289(2014)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非确定性有限状态树自动机的随机生成。 (英语) Zbl 1464.68169号

Maneth,Sebastian(编辑),第二届树自动机和树传感器趋势国际研讨会论文集,TTATT’13,越南河内,2013年10月19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)134,11-16(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

同步林替换语法。 (英语) Zbl 1398.68278号

Muntean,Traian(编辑)等人,《代数信息学》。2013年9月3日至6日,法国Porquerolles,第五届国际会议,CAI 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40662-1/pbk)。计算机科学课堂讲稿8080235-246(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性树自动机的超优化。 (英语) 兹比尔1298.68149

Konstantinidis,Stavros(编辑),自动机的实现和应用。2013年7月16日至19日,加拿大新南威尔士州哈利法克斯,2013年CIAA第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39273-3/pbk)。计算机科学课堂讲稿7982,244-255(2013)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无(varepsilon)线性扩展自顶向下树传感器的合成闭包。 (英语) Zbl 1381.68116号

Béal,Marie-Pierre(编辑)等,《语言理论的发展》。2013年6月18日至21日,第17届国际会议,DLT 2013,法国马内拉瓦莱。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38770-8/pbk)。计算机科学课堂讲稿7907239-251(2013)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步树邻接文法的单向派生语义。 (英语) Zbl 1370.68152号

Yen,Hsu-Chun(编辑)等,《语言理论的发展》。第16届国际会议,DLT 2012,台湾台北,2012年8月14-17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31652-4/pbk)。计算机科学课堂讲稿7410,368-379(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性树自动机的超最小化。 (英语) Zbl 1297.68143号

Moreira,Nelma(编辑)等人,《自动机的实现和应用》。2012年7月17日至20日,第17届国际会议,CIAA 2012,葡萄牙波尔图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31605-0/pbk)。计算机科学课堂讲稿7381,217-228(2012)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半域上确定性加权有限自动机的超最小化。 (英语) Zbl 1341.68102号

Dömösi,Pál(ed.)等人,《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎:尼雷加萨学院,数学和信息学研究所(ISBN 978-615-5097-19-5/pbk)。285-299 (2011).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

关于超小型化的注释。 (英语) Zbl 1341.68101号

Dömösi,Pál(ed.)等人,《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎:尼雷加萨学院,数学和信息学研究所(ISBN 978-615-5097-19-5/pbk)。34-49 (2011).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

调查:加权扩展自上而下树传感器。三、 组成。 (英语) Zbl 1230.68135号

Kuich,Werner(编辑)等人,《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-24896-2/pbk)。计算机科学课堂讲稿7020,272-308(2011)。
MSC公司:65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树转换和依赖关系。 (英语) Zbl 1348.68278号

Kanazawa,Makoto(编辑)等人,《语言的数学》。2011年9月6日至8日,第12届两年一度的会议,MOL 12,日本奈良。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23210-7/pbk)。计算机科学课堂讲稿6878。人工智能课堂讲稿,1-20(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

推动加权树自动机。 (英语) Zbl 1343.68146号

Murlak,Filip(编辑)等人,《2011年计算机科学的数学基础》。2011年8月22日至26日,波兰华沙,第36届国际研讨会,MFCS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22992-3/pbk)。计算机科学课堂讲稿6907460-471(2011)。
PDF格式BibTeX公司 XML格式引用

关于最小化有错误的自动机。 (英语) Zbl 1343.68137号

Murlak,Filip(编辑)等人,《2011年计算机科学的数学基础》。2011年8月22日至26日,波兰华沙,第36届国际研讨会,MFCS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22992-3/pbk)。计算机科学课堂讲稿6907327-338(2011)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速计算所有覆盖自动机。 (英语) Zbl 1297.68142号

Bouchou-Markhoff,Béatrice(编辑)等人,《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22255-9/pbk)。计算机科学讲义6807203-214(2011)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权树自动机的模拟。 (英语) Zbl 1297.68125号

Domaratzki,Michael(编辑)等人,自动机的实现和应用。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482321-330(2011)。
PDF格式BibTeX公司 XML格式引用

更好的超小型化。没有那么快,但错误更少。 (英语) Zbl 1297.68154号

Domaratzki,Michael(编辑)等人,自动机的实现和应用。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482201-210(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权扩展自顶向下树传感器的输入产品。 (英语) Zbl 1250.68170号

高元(主编)等,语言理论的发展。第14届国际会议,DLT 2010,伦敦,安大略省,加拿大,2010年8月17日至20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14454-7/pbk)。计算机科学课堂讲稿6224316-327(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

句法定向翻译和准字母树双晶型——重温。 (英语) Zbl 1256.68105号

Bozapalidis,Symeon(编辑)等,代数信息学。第三届国际会议,2009年CAI,希腊塞萨洛尼基,2009年5月19-22日,会议记录。柏林:施普林格出版社(ISBN 978-3-642-03563-0/pbk)。计算机科学课堂讲稿5725305-317(2009)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权树自动机的向后和向前模拟。 (英语) Zbl 1256.68104号

Bozapalidis,Symeon(编辑)等,代数信息学。第三届国际会议,2009年CAI,希腊塞萨洛尼基,2009年5月19-22日,会议记录。柏林:施普林格出版社(ISBN 978-3-642-03563-0/pbk)。计算机科学课堂讲稿5725288-304(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(最小化)确定性自动机中超最小化状态的(n \ log n \)算法。 (英语) Zbl 1248.68301号

Maneth,Sebastian(编辑),自动机的实现和应用。2009年7月14日至17日在澳大利亚悉尼举行的CIAA 2009第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02978-3/pbk)。计算机科学讲座笔记5642,4-13(2009)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树系列到树系列的转换。 (英语) Zbl 1172.68518号

Ibarra,Oscar H.(编辑)等人,《自动机的实现和应用》。2008年7月21日至24日,美国加利福尼亚州旧金山,CIAA 2008第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70843-8/pbk)。计算机科学课堂讲稿5148132-140(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最小化确定性加权树自动机。 (英语) Zbl 1157.68041号

Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。柏林:施普林格出版社(ISBN 978-3-540-88281-7/pbk)。计算机科学课堂讲稿5196,357-372(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展的多自下而上树传感器。 (英语) Zbl 1161.68523号

伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257289-300(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重温可识别树序列的Myhill-Nerode定理。 (英语) Zbl 1137.68044号

爱德华多·桑伊(Eduardo Sany)等,拉丁文2008:理论信息学。第八届拉丁美洲研讨会,2008年4月7日至11日,巴西布齐奥斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78772-3/pbk)。计算机科学课堂讲稿4957106-120(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树自动机的前后互模拟最小化。 (英语) Zbl 1139.68363号

Holub,Jan(编辑)等人,《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-76335-2/pbk)。计算机科学课堂讲稿4783,109-121(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权树自动机的互模拟最小化。 (英语) Zbl 1202.68228号

Harju,Tero(编辑)等人,《语言理论的发展》。第11届国际会议,DLT 2007,芬兰图尔库,2007年7月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73207-5/pbk)。计算机科学课堂讲稿4588,229-241(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新访问树系列转换的层次结构。 (英语) Zbl 1227.68063号

Ibarra,Oscar H.(编辑)等人,《语言理论的发展》。2006年6月26日至29日,第十届国际会议,DLT 2006,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35428-X/pbk)。计算机科学课堂讲稿4036,215-225(2006)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

o-取代能保持可识别性吗? (英语) Zbl 1160.68421号

Ibarra,Oscar H.(编辑)等人,《自动机的实现和应用》。2006年8月21日至23日,第11届国际会议,CIAA 2006,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37213-4/pbk)。计算机科学课堂讲稿4094150-161(2006)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

I型和II型树状串联换能器的功率。 (英语) Zbl 1132.68458号

De Felice,Clelia(编辑)等人,《语言理论的发展》。第九届国际会议,DLT 2005,意大利巴勒莫,2005年7月4-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26546-5/pbk)。计算机科学课堂讲稿3572,338-349(2005)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

唯一GCD-幺半群上序列变换器的Myhill-Nerode定理。 (英语) Zbl 1115.68446号

Domaratzki,Michael(编辑)等人,自动机的实现和应用。2004年7月22日至24日,加拿大金斯顿,CIAA 2004第九届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 3-540-24318-6/pbk)。《计算机科学讲义》3317323-324(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关联树系列变换器和加权树自动机。 (英语) Zbl 1117.68410号

Calude,Cristian S.(编辑)等,《语言理论的发展》。第八届国际会议,DLT 2004,新西兰奥克兰,2004年12月13-17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24014-4/pbk)。计算机科学课堂讲稿3340321-333(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份