×

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

层次结构学习自动机在一般非平稳多教师环境中的学习行为。 (英语) Zbl 1494.68127号

第36届ISCIE随机系统理论及其应用国际研讨会论文集,日本埼玉,2004年11月3日至4日。京都:系统、控制和信息工程师学会(ISCIE)。339-344 (2005).
PDF格式BibTeX公司 XML格式引用

保持参数机密性的抽象。 (英语) Zbl 1487.68063号

de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全——ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 418-437 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过项目监督员执行非安全安全政策。 (英语) Zbl 1487.68070号

de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 355-373 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用有限线性和概率自动机实现离散概率过程。 (英语。俄文原件) Zbl 1497.68264号

俄罗斯数学。 49,No.11,1-4(2005)Izv的翻译。维什。乌切布。扎韦德。,Mat.2005,No.11,3-6(2005)。
PDF格式BibTeX公司 XML格式引用
全文: MNR公司

弱点的拓扑特征。 (英语) Zbl 1314.68182号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

存在多个故障时的一致性测试。 (英语) Zbl 1297.68146号

第十六届ACM-SIAM离散算法年度研讨会论文集,SODA 2005,加拿大不列颠哥伦比亚省温哥华,2005年1月23-25日。纽约州纽约市:ACM出版社(ISBN 0-89871-585-7)。1136-1145 (2005).
PDF格式BibTeX公司 XML格式引用

优化马尔可夫模型并应用于三角连接编码。 (英语) Zbl 1297.68132号

2005年1月23日至25日,加拿大不列颠哥伦比亚省温哥华市,第十六届ACM-SIAM离散算法年会论文集,SODA 2005。纽约州纽约市:ACM出版社(ISBN 0-89871-585-7)。331-338(2005年)。
PDF格式BibTeX公司 XML格式引用

通过模拟验证并发数据结构。 (英语) Zbl 1276.68062号

Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记137,第2期,93-110(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

正规语言的条件密度。 (英语) 兹比尔1272.68213

Lescanne,Pierre(编辑)等人,《第二届计算逻辑与应用研讨会论文集》(CLA 2004),法国里昂,2004年6月17日至18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记140,67-79(2005)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间自动机中Zeno时间锁的语法检测工具。 (英语) Zbl 1272.68229号

Ulidowski,Irek(编辑),《2004年ARTS会议录》,第六届AMAST实时系统研讨会(ARTS 2004),英国斯特林,2004年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》139,第1期,25-47(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间转换系统的推断。 (英语) 兹比尔1272.68165

Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,87-99(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

具有数组、双计数器机器和多集重写的多态系统。 (英语) Zbl 1272.68268号

Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记138,第3期,61-86(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用正则语言推理的正则模型检查。 (英语) Zbl 1272.68256号

Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,21-36(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

一种基于自动机的方法,用于验证信息流属性。 (英语) Zbl 1272.68237号

Degano,Pierpaolo(编辑)等人,安全协议分析自动化推理第二次研讨会论文集(ARSPA 2005),葡萄牙里斯本,2005年7月16日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》135,第1期,39-58(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

一种新的时间自动机转换方法。 (英语) Zbl 1272.68211号

Mota,A.(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2004),巴西累西腓,2004年11月29日至12月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记130,101-128(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

从时间Petri网到时间自动机的结构转换。 (英语) Zbl 1272.68294号

Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,145-160(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

FIFO通道的规则性结果。 (英语) Zbl 1272.68306号

Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,21-36(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

共享内存体系结构上的CTL模型检查。 (英语) Zbl 1272.68259号

Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,107-123(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

分布式定时模型检查器Zeus中的实时工作负载预测和重新分配。 (英语) Zbl 1272.68231号

Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,3-18页(2005年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于高维自动机(扩展抽象)的表达性。 (英语) Zbl 1272.68324号

Baeten,Jos(ed.)等人,《第11届并发表达性国际研讨会论文集》(EXPRESS 2004),英国伦敦,2004年8月30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第2期,5-34页(2005年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

证明自动机抽象属性的PVS策略。 (英语) Zbl 1272.68363号

Bonacina,M.P.(编辑)等人,第五届自动扣除策略国际研讨会论文集(strategies 2004),爱尔兰科克,2004年。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》125,第2期,45-65(2005)。
MSC公司:68吨15 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

用SNF、交替自动机和Büchi自动机进行有界模型检验。 (英语) Zbl 1272.68276号

Biere,A.(ed.)等人,《第二届有界模型检验国际研讨会论文集》(BMC 2004),美国马萨诸塞州波士顿,2004年7月18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记119,第2期,83-101(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

自动写入:术语重写系统和树自动机的工具。 (英语) Zbl 1272.68178号

Antoy,S.(ed.)等人,《第四届改写和编程简化策略国际研讨会论文集》(WRS 2004),德国亚琛,2004年6月2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》124,第2期,29-49(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

对Angluin学习的见解。 (英语) 兹比尔1272.68164

Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步游戏3是一个简单的线性逻辑模型。 (英语) Zbl 1272.03157号

Birkedal,L.(编辑),计算机科学范畴理论第十届会议论文集(CTCS 2004),丹麦哥本哈根,2004年8月12-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记122,171-192(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

实现有限确定性自动机的映射建模中的冗余减少。 (俄语) Zbl 1238.68078号

Nasyrov,I.Z.(编辑)等,《信息科学研究》。9号。喀山:伊兹德。“Otechostvo”(ISBN 5-9222-0119-0)。81-86(2005年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: MNR公司

树行走自动机不能识别所有的正则语言。 (英语) Zbl 1192.68406号

STOC'05:第37届美国计算机学会计算理论年会论文集,美国马里兰州巴尔的摩,2005年5月22日至24日。纽约州纽约市:计算机机械协会(ACM)(ISBN 1-58113-960-8)。234-243 (2005).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

EMSO-具有事件结构的某些语言的可定义性。 (英语。俄文原件) Zbl 1145.03316号

数学杂志。科学。,纽约 130,第2期,4624-4630(2005)Zap的翻译。诺什。塞明。POMI 304128-140(2003)。
MSC公司:05年3月 03B15号机组 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL中的自动机构建概念。 (英语) Zbl 1143.68436号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835728-742(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

经典自动机构造的实验评估。 (英语) Zbl 1143.68443号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835396-411(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调AC树自动机。 (英语) Zbl 1143.68441号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835337-351(2005)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分裂内部状态以减少有限自动机函数中的参数数量。 (英语。俄文原件) Zbl 1126.68462号

J.计算。系统。科学。国际。 44,第5期,777-783(2005)Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年,第5期,第113-119页(2005年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

对频率字典中齐普夫定律的改进。 (英语。俄文原件) Zbl 1206.82009年

多克。数学。 72,第3期,942-945(2005)Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 405,第5期,591-594(2005)。
PDF格式BibTeX公司 XML格式引用

只有非(阿贝尔型)群。 (英语) Zbl 1114.20016号

Bartholdi,Laurent(编辑)等人,《无限群:几何、组合和动力学方面》。基于2003年6月1日至6日在意大利盖塔举行的国际群论会议:无限群的几何、组合和动力学方面。巴塞尔:Birkhä用户(ISBN 3-7643-7446-2/hbk)。数学进展248,389-402(2005)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件