加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
随机马尔可夫模型的拓扑结构:计算方面 Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare 1403.6032 cs.FL 2014-03-26
子幺半群中的$L$-原始词 Shubh Narayan Singh and K. V. Krishna 1403.5788 cs.FL 2014-03-25
位移上下文无关语言的单子自动机 Alexey Sorokin 1403.6060 cs.FL 2014-03-25
强制执行包括无块性在内的确定性下推自动机的操作特性 Sven Schneider and Uwe Nestmann 1403.5081 cs.FL 2014-03-24
自动机双周期的重置阈值 Vladimir V. Gusev, Elena V. Pribavkina 1403.3992 cs.FL 2014-03-18
关于非置换变换半群及其在句法复杂性中的应用 Szabolcs Ivan, Judit Nagy-Gyorgy 1402.7289 cs.FL 2014-03-03
时限推动自动机的Zenoness Parosh Aziz Abdulla (Uppsala University), Mohamed Faouzi Atig (Uppsala University), Jari Stenman (Uppsala University) 1402.6784 cs.FL 2014-02-28
两个相交异步布尔自动机循环的吸引子的完整特征描述 Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sen''e, J''er''emy Sobieraj 1310.5747 cs.FL 2014-02-19
一族双曲镶嵌的群论注记 Anthony Gasperin, Maurice Margenstern 1402.4337 cs.FL 2014-02-19
定量偏好下的规范自动机修订 Kangjin Kim and Georgios Fainekos 1402.3611 cs.FL 2014-02-18
解析表达式文法中的左递归 S''ergio Medeiros, Fabio Mascarenhas and Roberto Ierusalimschy 1207.0443 cs.FL 2014-02-17
关于上下文无关文法和解析表达式文法之间的关系 Fabio Mascarenhas and S''ergio Medeiros and Roberto Ierusalimschy 1304.3177 cs.FL 2014-02-17
字符串变换的常规组合子 Rajeev Alur, Adam Freilich, Mukund Raghothaman 1402.3021 cs.FL 2014-02-14
弱$ω$-正则迹语言 Namit Chaturvedi and Marcus Gelderie 1402.3199 cs.FL 2014-02-14
概率多计数自动机中的零可达性 Tom''av{s} Br''azdil, Stefan Kiefer, Anton''in Kuv{c}era, Petr Novotn''y, Joost-Pieter Katoen 1401.6840 cs.FL 2014-01-28
一个用于方程树自动机的高效算法:通过$k$-C-延续 Ludovic Mignot, Nadia Ouali Sebti and Djelloul Ziadi 1401.5951 cs.FL 2014-01-24
基于确定有限自动机的连续语音识别机器-基于话语和音高验证 M. Tharun Prasath 1401.5382 cs.FL 2014-01-22
马尔可夫自动机的延迟弱等价关系 Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang 1202.4116 cs.FL 2014-01-15
普适神经场计算 Peter beim Graben and Roland Potthast 1312.3550 cs.FL 2013-12-13
常规语言和线性语言在群体语言中的包含 Krasimir Yordzhev 1312.0190 cs.FL 2013-12-03
非确定有限状态树自动机的随机生成 Thomas Hanneforth (Universit"at Potsdam), Andreas Maletti (Universit"at Stuttgart), Daniel Quernheim (Universit"at Stuttgart) 1311.5568 cs.FL 2013-11-25
可见推动转换器的表达能力 Mathieu Caralp (Aix-Marseille Universit''e and CNRS), Emmanuel Filiot (Universit''e Libre de Bruxelles), Pierre-Alain Reynier (Aix-Marseille Universit''e and CNRS), Fr''ed''eric Servais (Hasselt University and transnational University of Limburg), Jean-Marc Talbot (Aix-Marseille Universit''e and CNRS) 1311.5571 cs.FL 2013-11-25
有限类型的Dyck位移空间 Marie-Pierre B''eal and Michel Blockelet and Cv{a}tv{a}lin Dima 1311.4223 cs.FL 2013-11-19
最复杂的正则右理想语言 Janusz Brzozowski and Gareth Davies 1311.4448 cs.FL 2013-11-19
关于IO替代对半线性AFLs的Parikh图像的影响 Pierre Bourreau 1311.0632 cs.FL 2013-11-05