2010年第15届CIAA:加拿大温尼伯市
迈克尔·多马拉茨基 , 凯·萨洛马 :
自动化的实施和应用-第15届国际会议,CIAA 2010,温尼伯,MB,加拿大,2010年8月12-15日。 修订论文集。 计算机科学课堂讲稿 6482, 施普林格 2011 ,国际标准图书编号 978-3-642-18097-2 娜塔莎·乔诺斯卡 :
用自动机描述自组装纳米结构。 1-3 凯伦·鲁迪 :
离散事件系统控制问题综述。 4-16 西里尔·阿劳赞(Cyril Allauzen) , 科琳娜·科尔特斯 , 梅赫亚尔·莫赫里 :
利用自动机核对支持向量机进行大规模训练。 17-27 西里尔·阿劳赞(Cyril Allauzen) , 迈克尔·莱利 , 约翰·沙尔克威克 :
加权有限状态传感器有效组合滤波器。 28-38 马尔科·阿尔梅达 , 内尔马·莫雷拉 , 罗杰里奥·赖斯 :
增量DFA最小化。 39-48 简·安托斯 , 鲍里沃伊·梅利查 :
反向模式匹配广义方法的有限自动机。 49-58 何塞·巴塞拉·阿尔梅达 , 内尔马·莫雷拉 , 大卫·佩雷拉 , 索萨圣歌 :
Coq中形式化的偏导数自动机。 59-68 Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
正则几何语言与平面平铺。 69-78 Krzysztof Chmiel公司 , 亚当·罗曼 :
COMPAS-用于同步的计算包。 79-86 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
从序列扩展正则表达式到带有符号标签的NFA。 87-94 薄翠 , 袁高 , 莉拉·卡里 , 盛宇(Sheng Yu) :
连锁与并集和交集相结合的状态复杂性。 95-104 沃尔克·迪克特 , 斯特芬·科佩基 :
正则语言发夹完成的复杂性结果和增长(扩展抽象)。 105-114 阿提拉·埃格里·纳吉 , 克里斯托弗·尼哈尼夫 :
有限变换半群中的直词和极小置换子。 115-124 希亚拉·埃皮法尼奥 , 克里斯蒂安·弗劳格尼 , 亚历山德拉·加布里埃尔 , 菲利波偏头痛 , 杰弗里·沙利特 :
关于懒惰表示和Sturmian图。 125-134 威特·福利斯 , 彼得亚·奥普罗查 , 斯拉沃米尔·巴卡拉斯基 :
符号动力学、花自动机和无限轨迹。 135-142 拉杜·格罗苏 :
非交换半环的Cayley-Hamilton定理。 143-153 迈克尔·格布什 , 布伦特·海伦加 :
近似最小重置序列。 154-162 诺伯特·亨德斯哈根 , 弗里德里希·奥托 , 马塞尔·沃尔威勒 :
由单音确定性重启自动机的PC系统计算的转导。 163-172 J.霍华德·约翰逊 :
使用加权确定统一自然语言应用的有理关系。 173-180 曼弗雷德·库夫莱特纳 , 亚历山大·劳泽 :
部分有序双向Büchi Automata。 181-190 马丁·库特里布 , 安德烈亚斯·马尔彻 :
两方Watson-Crick计算。 191-200 安德烈亚斯·马莱蒂 :
更好的超小型化——速度更快,但错误更少。 201-210 曼弗雷德·德罗斯特 , 英格玛·梅内克 :
正则表达式的平均值和长期值。 211-221 丹尼尔·奈德 :
自动图上的可达性游戏。 222-230 大井聪 , 铃木麻生太郎 :
通过带增强转换的位置自动机消除正则表达式匹配中的歧义。 231-240 丹尼尔·雷登巴赫 , 马库斯·施密德 :
大型扩展正则表达式的多项式时间匹配测试。 241-250 朱西·卡斯蒂格利翁 , 西里尔·尼科德 , 玛丽内拉·西奥蒂诺 :
经典最小化算法的一个具有挑战性的自动机家族。 251-260 蔡明贤 , 塞斯·福格蒂 , 莫舍·瓦尔迪 , Yih-Kuen Tsay先生 :
比奇互补状态。 261-271 克里斯蒂娜·托努卡 , 加泰林碘酒 :
使DFA识别和更正查询可行的可信信息类型。 272-281 刘燕兵 , 李果 , 刘平 , 谭建龙 :
通过矩阵分解压缩正则表达式的DFA表。 282-289 方瑜 , 特夫菲克·布尔坦 , 奥斯卡·H·伊巴拉 :
使用多跟踪自动机进行关系字符串验证。 290-299 扬·扎雷克 , 鲍里沃伊·梅利查 :
关于基于树的二维索引的注释。 300-309 文森特·勒茂特 :
正则表达式处于最佳状态:Rational设计案例。 310-320 佐尔坦·埃西克 , 安德烈亚斯·马莱蒂 :
加权树自动机的仿真。 321-330
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)