掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Implementation and Application of Automata
International Conference on Implementation and Application of Automata
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Implementing Computations in Automaton (Semi)groups
机译:
在Automaton(半)组中实现计算
作者:
Ines Klimann
;
Jean Mairesse
;
Matthieu Picantin
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Automaton (semi)groups;
Growth;
Order;
Finiteness;
Minimization;
2.
Synchronizing Automata on Quasi-Eulerian Digraph
机译:
准欧拉数字上的同步自动机
作者:
Mikhail V. Berlinkov
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
3.
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata
机译:
关于确定性重新启动自动机的窗口大小的描述复杂性
作者:
Martin Kutrib
;
Friedrich Otto
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Restarting automaton;
Window size;
Descriptional complexity;
Non-recursive trade-off;
4.
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs
机译:
关于无循环最小DFA的逆转的状态和计算复杂性
作者:
Galina Jiraskova
;
Tomas Masopust
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
5.
Playing for Synchronization
机译:
玩同步
作者:
Fedor Fominykh
;
Mikhail Volkov
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
6.
Nominal Automata for Resource Usage Control
机译:
资源使用控制的标称自动机
作者:
Pierpaolo Degano
;
Gian-Luigi Ferrari
;
Gianluca Mezzetti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
7.
Multi-Tilde-Bar Derivatives
机译:
多层杆衍生物
作者:
Pascal Caron
;
Jean-Marc Champarnaud
;
Ludovic Mignot
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
8.
Cellular Automata on Regular Rooted Trees
机译:
常规生根树上的蜂窝自动机
作者:
Tullio Ceccherini-Silberstein
;
Michel Coornaert
;
Francesca Fiorenzi
;
Zoran Sunic
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Free monoid;
Sofic tree shift;
Unrestricted Rabin automaton;
Finite tree automaton;
Cellular automaton;
Surjectivity problem;
9.
The Removal of Weighted ε-Transitions
机译:
去除加权ε-转换
作者:
Sylvain Lombardy
;
Jacques Sakarovitch
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
10.
Weak Inclusion for Recursive XML Types
机译:
递归XML类型的含量薄弱
作者:
Joshua Amavi
;
Jacques Chabin
;
Pierre Rety
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
XML type;
Regular unranked-tree grammar;
Approximative inclusion;
11.
Automatic Theorem-Proving in Combinatorics on Words
机译:
在文字上的组合学中的自动定理证明
作者:
Daniel Goc
;
Dane Henshall
;
Jeffrey Shallit
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
12.
Weighted LTL with Discounting
机译:
折扣加权LTL
作者:
Eleni Mandrali
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
13.
Synchronizing Automata of Bounded Rank
机译:
界秩的同步自动机
作者:
Vladimir V. Gusev
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
14.
Restarting Tiling Automata
机译:
重新启动瓷砖自动机
作者:
Daniel Prusa
;
Frantisek Mraz
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Two-dimensional languages;
Tiling systems;
Restarting automata;
15.
Factor and Subsequence Kernels and Signatures of Rational Languages
机译:
因子和后续核心和合理语言的签名
作者:
Ahmed Amarni
;
Sylvain Lombardy
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
16.
A Disambiguation Algorithm for Finite Automata and Functional Transducers
机译:
用于有限自动机和功能传感器的消歧算法
作者:
Mehryar Mohri
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
17.
Weighted Nested Word Automata and Logics over Strong Bimonoids
机译:
加权嵌套词自动机和强副辅音的逻辑
作者:
Manfred Droste
;
Bundit Pibaljommee
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
18.
SDFA: Series DFA for Memory-Efficient Regular Expression Matching
机译:
SDFA:DFA系列用于内存高效的正则表达式匹配
作者:
Tingwen Liu
;
Yong Sun
;
Li Guo
;
Binxing Fang
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
19.
Automata with Modulo Counters and Nondeterministic Counter Bounds
机译:
具有模数计数器的自动机和非季度反击范围
作者:
Daniel Reidenbach
;
Markus L. Schmid
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Multi-head automata;
Counter automata;
Modulo coun- ters;
Stateless automata;
Restricted nondeterminism;
20.
Regular Ideal Languages and Their Boolean Combinations
机译:
定期的理想语言及其布尔组合
作者:
Franz Jahn
;
Manfred Kufleitner
;
Alexander Lauser
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
21.
A Fast Suffix Automata Based Algorithm for Exact Online String Matching
机译:
基于快速后缀自动机的精确在线字符串匹配
作者:
Simone Faro
;
Thierry Lecroq
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
22.
Crossing the Syntactic Barrier: Hom-Disequalities for H_1-Clauses
机译:
穿过句法障碍:HOM-不平等为H_1-CLAUSES
作者:
Andreas Reuss
;
Helmut Seidl
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
23.
Strict Local Testability with Consensus Equals Regularity
机译:
严格的本地可测试性与共识等于规律性
作者:
Stefano Crespi Reghizzi
;
Pierluigi L. San Pietro
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Formal languages;
Strict local testability;
Local language;
Non-counting;
Consensual language;
Counter machine;
Sliding-window;
Regular language;
Medvedev theorem;
Homomorphic characterization;
Context-free;
Context-sensitive;
24.
In Search of Most Complex Regular Languages
机译:
寻找大多数复杂的常规语言
作者:
Janusz Brzozowski
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Combined operation;
Finite automaton;
Operation;
Regular language;
State complexity;
Syntactic semigroup;
Witness;
25.
A Formal Framework for Processes Inspired by the Functioning of Living Cells
机译:
由活细胞功能启发的过程的正式框架
作者:
Andrzej Ehrenfeucht
;
Grzegorz Rozenberg
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
26.
How to Synchronize the Heads of a Multitape Automaton
机译:
如何同步MultiPape Automaton的头部
作者:
Oscar H. Ibarra
;
Nicholas Q. Tran
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Multitape automata;
Aligned;
Synchronized;
Semilinear;
Decidable;
Undecidable;
1-reversal counters;
Reversal-bounded counters;
27.
Typed Linear Algebra for Weigthed (Probabilistic) Automata
机译:
用于加权(概率)自动机的键入的线性代数
作者:
Jose N. Oliveira
会议名称:
《International Conference on Implementation and Application of Automata》
|
2012年
关键词:
Weighted automata;
Linear algebra;
Categories of matrices;
28.
Using Regular Grammars for Event-Based Testing
机译:
使用常规语法进行基于事件的测试
作者:
Fevzi Belli
;
Mutlu Beyaz?t
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
model-based mutation testing;
event-based;
mutant selection.;
29.
Incomplete Transition Complexity of Basic Operations on Finite Languages
机译:
关于有限语言的基本操作的不完全转变复杂性
作者:
Eva Maia
;
Nelma Moreira
;
Rogério Reis
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
operations;
complexities;
languages;
30.
A Uniformization Theorem for Nested Word to Word Transductions
机译:
嵌套词语转换转换的均匀化定理
作者:
Dmitry Chistikov
;
Rupak Majumdar
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
uniformization;
transduction;
nested word;
visibly pushdown language.;
31.
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton
机译:
无背景语法与有限状态自动机之间的近似匹配
作者:
Yo-Sub Han
;
Sang-Ki Ko
;
Kai Salomaa
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
approximate matching;
edit-distance;
context-free grammars;
finite-state automata.;
32.
Trimming Visibly Pushdown Automata
机译:
修剪明显的下推自动机
作者:
Mathieu Caralp
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
33.
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties
机译:
输入驱动队列自动机:有限匝数,可解除性和关闭属性
作者:
Martin Kutrib
;
Andreas Malcher
;
Carlo Mereghetti
;
Beatrice Palano
;
Matthias Wendlandt
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Input-driven automata;
queue automata;
finite turns;
decidability questions;
closure properties.;
34.
Trimming Visibly P_ushdown Automata
机译:
可明显修剪可明显p_ushdown自动机
作者:
Mathieu Caralp
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
problem;
automaton;
procedure;
35.
Implementation Concepts in Vaucanson 2
机译:
Vaucanson 2的实施概念
作者:
Akim Demaille
;
Alexandre Duret-Lutz
;
Sylvain Lombardy
;
Jacques Sakarovitch
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
platform;
performance;
complexity;
36.
Early Nested Word Automata for XPath Query Answering on XML Streams
机译:
用于XPATH查询的早期嵌套Word自动机在XML流上应答
作者:
Denis Debarbieux
;
Olivier Gauwin
;
Joachim Niehren
;
Tom Sebastian
;
Mohamed Zergaoui
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
37.
Hyper-optimization for Deterministic Tree Automata
机译:
确定性树自动机的超优化
作者:
Andreas Maletti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
38.
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties
机译:
输入驱动队列自动机:有限匝数,可解除性和关闭属性
作者:
Martin Kutrib
;
Andreas Malcher
;
Carlo Mereghetti
;
Beatrice Palano
;
Matthias Wendlandt
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Input-driven automata;
Queue automata;
Finite turns;
Decidability questions;
Closure properties;
39.
On the Length of Homing Sequences for Nondeterministic Finite State Machines
机译:
关于非定义有限状态机的归巢序列的长度
作者:
Natalia Kushik
;
Nina Yevtushenko
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
40.
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata
机译:
将二维单位标记自动机与Sgraffito自动机进行比较
作者:
Daniel Pr??a
;
Franti?ek Mráz
;
Friedrich Otto
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
automata;
polynomial;
languages;
41.
Automata for Codes
机译:
代码自动机
作者:
Helmut Jurgensen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
42.
LALBLC A Program Testing the Equivalence of dpda's
机译:
Lalblc一个程序测试DPDA的等价物
作者:
Patrick Henry
;
Geraud Senizergues
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Deterministic pushdown automata;
Deterministic context-free grammars;
Equivalence problem;
43.
Hyper-optimization for Deterministic Tree Automata
机译:
确定性树自动机的超优化
作者:
Andreas Maletti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
language;
hyperminimization;
representation;
44.
Implementation Concepts in Vaucanson 2
机译:
Vaucanson 2的实施概念
作者:
Akim Demaille
;
Alexandre Duret-Lutz
;
Sylvain Lombardy
;
Jacques Sakarovitch
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
45.
Early Nested Word Automata for XPath Query Answering on XML Streams
机译:
用于XPATH查询的早期嵌套Word自动机在XML流上应答
作者:
Denis Debarbieux
;
Olivier Gauwin
;
Joachim Niehren
;
Tom Sebastian
;
Mohamed Zergaoui
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
algorithm;
efficiency;
approximation;
46.
Applications of Symbolic Finite Automata
机译:
符号有限自动机的应用
作者:
Margus Veanes
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
automata;
alphabets;
approach;
47.
LALBLC A Program Testing the Equivalence of dpda's
机译:
Lalblc一个程序测试DPDA的等价物
作者:
Patrick Henry
;
Géraud Sénizergues
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Deterministic pushdown automata;
deterministic context-free grammars;
equivalence problem.;
48.
Incomplete Transition Complexity of Basic Operations on Finite Languages
机译:
关于有限语言的基本操作的不完全转变复杂性
作者:
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
49.
On Palindromic Sequence Automata and Applications
机译:
关于回文序列自动机和应用
作者:
Mahbubul Hasan
;
A. S. M. Sohidull Islam
;
M. Sohel Rahman
;
Ayon Sen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
50.
Enhancing Approximations for Regular Reachability Analysis
机译:
增强定期可达性分析的近似值
作者:
Alo?s Dreyfus
;
Pierre-Cyrille Héam
;
Olga Kouchnarenko
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
approximations;
proposals;
mechanism;
51.
Partial Word DFAs
机译:
部分词DFA.
作者:
Eric Balkanski
;
F. Blanchet-Sadri
;
Matthew Kilgore
;
B.J. Wyatt
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
languages;
creation;
sequences;
52.
Two-Pass Greedy Regular Expression Parsing
机译:
双通贪婪的正则表达式解析
作者:
Niels Bjorn Bugge Grathwohl
;
Fritz Henglein
;
Lasse Nielsen
;
Ulrik Terp Rasmussen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
53.
On the Length of Homing Sequences for Nondeterministic Finite State Machines
机译:
关于非定义有限状态机的归巢序列的长度
作者:
Natalia Kushik
;
Nina Yevtushenko
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
machine;
shortest;
automata;
54.
Towards Nominal Context-Free Model-Checking
机译:
朝着标称无论如何的无背景模型检查
作者:
Pierpaolo Degano
;
Gian-Luigi Ferrari
;
Gianluca Mezzetti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
55.
On Palindromic Sequence Automata and Applications
机译:
关于回文序列自动机和应用
作者:
Md. Mahbubul Hasan
;
A.S.M. Sohidull Islam
;
M. Sohel Rahman
;
Ayon Sen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
subsequences;
automata;
compact;
56.
On the Boundary of Regular Languages
机译:
关于常规语言的边界
作者:
Jozef Jirasek
;
Galina Jiraskova
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
57.
Deterministic Counter Machines and Parallel Matching Computations
机译:
确定性计数器和并行匹配计算
作者:
Stefano Crespi Reghizzi
;
Pierluigi San Pietro
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Formal languages;
Quasi-realtime partially blind counter machine;
Consensual language;
Closure under union;
Multiset machine;
58.
Towards Nominal Context-Free Model-Checking
机译:
朝着标称无论如何的无背景模型检查
作者:
Pierpaolo Degano
;
Gian-Luigi Ferrari
;
Gianluca Mezzetti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
language;
particular;
automata;
59.
A Completion Algorithm for Lattice Tree Automata
机译:
格子树自动机的完成算法
作者:
Thomas Genet
;
Tristan Le Gall
;
Axel Legay
;
Valérie Murat
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
implementation;
programs;
completion;
60.
Brzozowski's Minimization Algorithm - More Robust than Expected
机译:
Brzozowski的最小化算法 - 比预期更强大
作者:
Markus Holzer
;
Sebastian Jakobi
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
61.
Computing Weights
机译:
计算权重
作者:
Houda Abbad
;
Eric Laugerotte
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
(Partial) Conway semirings;
Formal power series;
Rational weighted expressions;
Weighted recognition;
62.
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages
机译:
关于NPDA,Palindromes和Dyck语言的一些决策问题
作者:
Oscar H. Ibarra
;
Bala Ravikumar
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Context-free language (CFL);
Nondeterministic pushdown automaton (NPDA);
Counter acceptor;
1-reversal counters;
Palindromes;
Dyck language;
Decidable;
Undecidable;
63.
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata
机译:
将二维单位标记自动机与Sgraffito自动机进行比较
作者:
Daniel Prusa
;
Frantisek Mraz
;
Friedrich Otto
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Picture languages;
Two-dimensional one-marker automaton;
Sgraffito automaton;
Recognizable picture languages;
64.
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton
机译:
无背景语法与有限状态自动机之间的近似匹配
作者:
Yo-Sub Han
;
Sang-Ki Ko
;
Kai Salomaa
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Approximate matching;
Edit-distance;
Context-free grammars;
Finite-state automata;
65.
A Uniformization Theorem for Nested Word to Word Transductions
机译:
嵌套词语转换转换的均匀化定理
作者:
Dmitry Chistikov
;
Rupak Majumdar
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Uniformization;
Transduction;
Nested word;
Visibly pushdown language;
66.
Compressed Automata for Dictionary Matching
机译:
用于字典匹配的压缩自动机
作者:
Tomohiro I.
;
Takaaki Nishimoto
;
Shunsuke Inenaga
;
Hideo Bannai
;
Masayuki Takeda
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
67.
Brzozowski's Minimization Algorithm-More Robust than Expected
机译:
Brzozowski的最小化算法 - 比预期更强大
作者:
Markus Holzer
;
Sebastian Jakobi
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
information;
equivalent;
automaton;
68.
Generating Small Automata and the Cerny Conjecture
机译:
生成小型自动机和Cerny猜想
作者:
Andrzej Kisielewicz
;
Marek Szykula
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Cerny conjecture;
Synchronizing word;
Nonisomorphic automata;
69.
Applications of Symbolic Finite Automata
机译:
符号有限自动机的应用
作者:
Margus Veanes
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
70.
Generating Small Automata and the ?erny Conjecture
机译:
生成小型自动机和?erny猜想
作者:
Andrzej Kisielewicz
;
Marek Szyku?a
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
?erny conjecture;
synchronizing word;
nonisomorphic automata.;
71.
A Completion Algorithm for Lattice Tree Automata
机译:
格子树自动机的完成算法
作者:
Thomas Genet
;
Tristan Le Gall
;
Axel Legay
;
Valerie Murat
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
72.
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages
机译:
关于NPDA,Palindromes和Dyck语言的一些决策问题
作者:
Oscar H. Ibarra
;
Bala Ravikumar
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Context-free language (CFL);
nondeterministic pushdown automaton (NPDA);
counter acceptor;
1-reversal counters;
palindromes;
Dyck language;
decidable;
undecidable.;
73.
Partial Word DFAs
机译:
部分词DFA.
作者:
Eric Balkanski
;
F. Blanchet-Sadri
;
Matthew Kilgore
;
B. J. Wyatt
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
74.
Two-Pass Greedy Regular Expression Parsing
机译:
双通贪婪的正则表达式解析
作者:
Niels Bj?rn Bugge Grathwohl
;
Fritz Henglein
;
Lasse Nielsen
;
Ulrik Terp Rasmussen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
performance;
alternatives;
superior;
75.
Lambda-Confluence Is Undecidable for Clearing Restarting Automata
机译:
Lambda-Confluence无法清除重新启动自动机
作者:
Franti?ek Mráz
;
Friedrich Otto
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Clearing restarting automaton;
limited context restarting automaton;
factor-erasing string-rewriting system;
λ-confluence.;
76.
Invertible Transducers, Iteration and Coordinates
机译:
可逆传感器,迭代和坐标
作者:
Klaus Sutner
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
77.
Enhancing Approximations for Regular Reachability Analysis
机译:
增强定期可达性分析的近似值
作者:
Alois Dreyfus
;
Pierre-Cyrille Heam
;
Olga Kouchnarenko
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
78.
Using Regular Grammars for Event-Based Testing
机译:
使用常规语法进行基于事件的测试
作者:
Fevzi Belli
;
Mutlu Beyazit
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Model-based mutation testing;
Event-based;
Mutant selection;
79.
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal
机译:
普遍证人的基本运营的状态复杂性与逆转相结合
作者:
Janusz Brzozowski
;
David Liu
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
basic operation;
boolean operation;
regular language;
reversal;
state complexity;
universal witness.;
80.
Lambda-Confluence Is Undecidable for Clearing Restarting Automata
机译:
Lambda-Confluence无法清除重新启动自动机
作者:
Frantisek Mraz
;
Friedrich Otto
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Clearing restarting automaton;
Limited context restarting automaton;
Factor-erasing string-rewriting system;
λ-confluence;
81.
Computing Weights
机译:
计算权重
作者:
Houda Abbad
;
éric Laugerotte
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
(Partial) Conway semirings;
formal power series;
rational weighted expressions;
weighted recognition.;
82.
On the Boundary of Regular Languages
机译:
关于常规语言的边界
作者:
Jozef Jirásek
;
Galina Jirásková
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
quaternary;
languages;
boundary;
83.
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal
机译:
普遍证人的基本运营的状态复杂性与逆转相结合
作者:
Janusz Brzozowski
;
David Liu
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
Basic operation;
Boolean operation;
Regular language;
Reversal;
State complexity;
Universal witness;
84.
Invertible Transducers, Iteration and Coordinates
机译:
可逆传感器,迭代和坐标
作者:
Klaus Sutner
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
generators;
algorithms;
implemented;
85.
Compressed Automata for Dictionary Matching
机译:
用于字典匹配的压缩自动机
作者:
Tomohiro I
;
Takaaki Nishimoto
;
Shunsuke Inenaga
;
Hideo Bannai
;
Masayuki Takeda
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
patterns;
dictionary;
automata;
86.
Automata for Codes
机译:
代码自动机
作者:
Helmut Jürgensen
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
synchronization;
research;
variablelength;
87.
Deterministic Counter Machines and Parallel Matching Computations
机译:
确定性计数器和并行匹配计算
作者:
Stefano Crespi Reghizzi
;
Pierluigi San Pietro
会议名称:
《International Conference on Implementation and Application of Automata》
|
2013年
关键词:
formal languages;
quasi-realtime partially blind counter machine;
consensual language;
closure under union;
multiset machine.;
88.
Deciding Synchronous Kleene Algebra with Derivatives
机译:
决定与衍生物的同步克莱讷
作者:
Sabine Broda
;
Silvia Cavadas
;
Miguel Ferreira
;
Nelma Moreira
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Synchronous Kleene algebra;
Concurrency;
Equivalence;
Derivative;
89.
On the Semantics of Regular Expression Parsing in the Wild
机译:
在野外常规表达解析的语义上
作者:
Martin Berglund
;
Brink van der Merwe
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
90.
From Ambiguous Regular Expressions to Deterministic Parsing Automata
机译:
从模糊的正则表达式到确定性解析自动机
作者:
Angelo Borsotti
;
Luca Breveglieri
;
Stefano Crespi Reghizzi
;
Angelo Morzenti
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Regular expression;
RE;
Syntax tree;
Berry-Sethi;
Ambiguity;
Parsing;
91.
Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems
机译:
离散动力系统推断局部过渡功能的复杂性
作者:
Abhijin Adiga
;
Chris J. Kuhlman
;
Madhav V. Marathe
;
S. S. Ravi
;
Daniel J. Rosenkrantz
;
Richard E. Stearns
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
92.
Security of Numerical Sensors in Automata
机译:
自动机中数值传感器的安全性
作者:
Zhe Dang
;
Dmitry Dementyev
;
Thomas R. Fischer
;
William J. Hutton
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
93.
Introducing Code Adviser: A DFA-driven Electronic Programming Tutor
机译:
介绍代码顾问:DFA驱动的电子编程导师
作者:
Abejide Ade-Ibijola
;
Sigrid Ewert
;
Ian Sanders
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Bug detection;
Semantic bugs;
Program strings;
94.
Checking Whether an Automaton Is Monotonic Is NP-complete
机译:
检查自动机是否单调是单调是np-complete
作者:
Marek Szykula
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Automaton;
Monotonic;
Oriented;
Complexity;
Np-complete;
Linear order;
Cyclic order;
Partial order;
Order-preserving;
Transition semigroup;
95.
More on Deterministic and Nondeterministic Finite Cover Automata
机译:
更多关于确定性和无限制的有限封面自动机
作者:
Hermann Gruber
;
Markus Holzer
;
Sebastian Jakobi
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
96.
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata
机译:
通过同步自动机描述非匹配有限状态机的归位和区分序列
作者:
Natalia Kushik
;
Nina Yevtushenko
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Nondeterministic finite state machines;
Homing sequence (homing word);
Distinguishing sequence (distinguishing word);
Synchronizing sequence (synchronizing word);
97.
Run-Length Encoded Nondeterministic KMP and Suffix Automata
机译:
运行长度编码的非eterministickmp和后缀自动机
作者:
Emanuele Giaquinta
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
98.
Hardware Implementations of Finite Automata and Regular Expressions Extended Abstract
机译:
有限自动机和正则表达式的硬件实现扩展了摘要
作者:
Bruce W. Watson
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
99.
Subword Metrics for Infinite Words
机译:
无限单词的子字度标准
作者:
Stefan Hoffmann
;
Ludwig Staiger
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
关键词:
Metric spaces;
ω-words;
Subwords;
Shift-invariance;
Subword complexity;
100.
On the Number of Synchronizing Colorings of Digraphs
机译:
关于数字的同步彩色数量
作者:
Vladimir V. Gusev
;
Marek Szykula
会议名称:
《International Conference on Implementation and Application of Automata》
|
2015年
意见反馈
回到顶部
回到首页