Works matching DE "DETERMINISTIC finite automata"

Results: 55

Faster exact distributions of pattern statistics through sequential elimination of states.

Published in:

Annals of the Institute of Statistical Mathematics, 2017, v. 69, n. 1, p. 231, doi. 10.1007/s10463-015-0540-y

By:

Martin, Donald;
Noé, Laurent

Publication type:

Article

Problems on Finite Automata and the Exponential Time Hypothesis.

Published in:

Algorithms, 2017, v. 10, n. 1, p. 24, doi. 10.3390/a10010024

By:

Fernau, Henning;
Krebs, Andreas

Publication type:

Article

Non-Deterministic Finite Cover Automata.

Published in:

Scientific Annals of Computer Science, 2015, v. 25, n. 1, p. 3, doi. 10.7561/SACS.2015.1.3

By:

CÂMPEANU, Cezar

Publication type:

Article

Multi-Sequential Word Relations.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 271, doi. 10.1142/S0129054118400075

By:

Jecker, Ismaël;
Filiot, Emmanuel

Publication type:

Article

On the Size of Two-Way Reasonable Automata for the Liveness Problem.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 187, doi. 10.1142/S0129054118400038

By:

Bianchi, Maria Paola;
Hromkovič, Juraj;
Kováč, Ivan

Publication type:

Article

State Complexity of Neighbourhoods and Approximate Pattern Matching.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 315, doi. 10.1142/S0129054118400099

By:

Ng, Timothy;
Rappaport, David;
Salomaa, Kai

Publication type:

Article

Minimal Reversible Deterministic Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 251, doi. 10.1142/S0129054118400063

By:

Holzer, Markus;
Jakobi, Sebastian;
Kutrib, Martin

Publication type:

Article

The Degree of Irreversibility in Deterministic Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 503, doi. 10.1142/S0129054117400044

By:

Axelsen, Holger Bock;
Holzer, Markus;
Kutrib, Martin

Publication type:

Article

DISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA.

Published in:

Iranian Journal of Fuzzy Systems, 2017, v. 14, n. 5, p. 19

By:

VERMA, R.;
TIWARI, S. P.

Publication type:

Article

An Improved Algorithm for the Metamorphosis of Semi-Extended Regular Expressions to Deterministic Finite Automata.

Published in:

Computer Journal, 2015, v. 58, n. 3, p. 448, doi. 10.1093/comjnl/bxu049

By:

Kumar, Ajay;
Verma, Anil Kumar

Publication type:

Article

ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols.

Published in:

Computer Journal, 2014, v. 57, n. 4, p. 494, doi. 10.1093/comjnl/bxt019

By:

Niksefat, Salman;
Sadeghiyan, Babak;
Mohassel, Payman;
Sadeghian, Saeed

Publication type:

Article

Notes on spiking neural P systems and finite automata.

Published in:

Natural Computing, 2016, v. 15, n. 4, p. 533, doi. 10.1007/s11047-016-9563-4

By:

Cabarle, Francis;
Adorna, Henry;
Pérez-Jiménez, Mario

Publication type:

Article

Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information.

Published in:

PLoS ONE, 2016, v. 11, n. 11, p. 1, doi. 10.1371/journal.pone.0165864

By:

Liu, Desheng;
Huang, Zhiping;
Zhang, Yimeng;
Guo, Xiaojun;
Su, Shaojing

Publication type:

Article

Non-deterministic cellular automata and languages.

Published in:

International Journal of General Systems, 2012, v. 41, n. 6, p. 555, doi. 10.1080/03081079.2012.695896

By:

Kutrib, Martin

Publication type:

Article

A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments.

Published in:

International Journal of Parallel Programming, 2014, v. 42, n. 3, p. 456, doi. 10.1007/s10766-013-0258-5

By:

Ko, Yousun;
Jung, Minyoung;
Han, Yo-Sub;
Burgstaller, Bernd

Publication type:

Article

Packet Payload Monitoring for Internet Worm Content Detection Using Deterministic Finite Automaton with Delayed Dictionary Compression.

Published in:

Journal of Computer Networks & Communications, 2014, p. 1, doi. 10.1155/2014/206867

By:

Selvaraj, Divya;
Ganapathi, Padmavathi

Publication type:

Article

Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata.

Published in:

Acta Informatica, 2013, v. 50, n. 4, p. 229, doi. 10.1007/s00236-012-0175-x

By:

Nagy, Benedek;
Otto, Friedrich

Publication type:

Article

Managing DFA History with Queue for Deflation DFA.

Published in:

Journal of Network & Systems Management, 2012, v. 20, n. 2, p. 155, doi. 10.1007/s10922-010-9179-4

By:

Tang, Yi;
Jiang, Junchen;
Hu, Chengchen;
Liu, Bin

Publication type:

Article

Learning the Language of Software Errors.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 881, doi. 10.1613/jair.1.11798

By:

Chockler, Hana;
Kesseli, Pascal;
Kroening, Daniel;
Strichman, Ofer

Publication type:

Article

Fuzzy grammar theory based on lattices.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2012, v. 16, n. 8, p. 1415, doi. 10.1007/s00500-012-0845-1

By:

Jin, Jianhua;
Li, Qingguo

Publication type:

Article

Proving correctness of regular expression matchers with constrained repetition.

Published in:

Electronics Letters (Wiley-Blackwell), 2013, v. 49, n. 1, p. 3, doi. 10.1049/el.2012.2208

By:

Heyse, K.;
Bruneel, K.;
Stroobandt, D.

Publication type:

Article

Undecidability of state complexity.

Published in:

International Journal of Computer Mathematics, 2013, v. 90, n. 6, p. 1310, doi. 10.1080/00207160.2012.704994

By:

Salomaa, Arto;
Salomaa, Kai;
Yu, Sheng

Publication type:

Article

Detecting epileptogenesis in power variant domains.

Published in:

Control & Cybernetics, 2011, v. 40, n. 2, p. 293

By:

Lewis, Rory A.;
Parks, Brian;
Shmueli, Doron;
Capinst, Sara

Publication type:

Article

A novel algorithm for the conversion of shuffle regular expressions into non-deterministic finite automata.

Published in:

Maejo International Journal of Science & Technology, 2013, v. 7, n. 3, p. 396

By:

Kumar, Ajay;
Verma, Anil Kumar

Publication type:

Article

Set Automata.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 2, p. 187, doi. 10.1142/S0129054116400062

By:

Kutrib, Martin;
Malcher, Andreas;
Wendlandt, Matthias

Publication type:

Article

Minimal and Hyper-Minimal Biautomata.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 2, p. 161, doi. 10.1142/S0129054116400050

By:

Holzer, Markus;
Jakobi, Sebastian

Publication type:

Article

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 7, p. 877, doi. 10.1142/S0129054114400139

By:

KUTRIB, MARTIN;
MALCHER, ANDREAS;
WENDLANDT, MATTHIAS

Publication type:

Article

HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 6, p. 815, doi. 10.1142/S0129054113400200

By:

JEŻ, ARTUR;
MALETTI, ANDREAS

Publication type:

Article

UNWEIGHTED AND WEIGHTED HYPER-MINIMIZATION.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 6, p. 1207, doi. 10.1142/S0129054112400485

By:

MALETTI, ANDREAS;
QUERNHEIM, DANIEL

Publication type:

Article

ON THE COMPUTATIONAL CAPACITY OF PARALLEL COMMUNICATING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 3, p. 713, doi. 10.1142/S0129054112500062

By:

BORDIHN, HENNING;
KUTRIB, MARTIN;
MALCHER, ANDREAS;
Ito, Masami

Publication type:

Article

STATE-SIZE HIERARCHY FOR FINITE-STATE COMPLEXITY.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 1, p. 37, doi. 10.1142/S0129054112400035

By:

CALUDE, CRISTIAN S.;
SALOMAA, KAI;
ROBLOT, TANIA K.;
McQuillan, Ian

Publication type:

Article

THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1533, doi. 10.1142/S0129054111008866

By:

HOLZER, MARKUS;
KUTRIB, MARTIN;
Yu, Sheng

Publication type:

Article

ON A CONJECTURE BY CARPI AND D'ALESSANDRO.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1565, doi. 10.1142/S012905411100888X

By:

BERLINKOV, MIKHAIL V.;
Yu, Sheng

Publication type:

Article

UNDECIDABILITY AND HIERARCHY RESULTS FOR PARALLEL COMMUNICATING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1577, doi. 10.1142/S0129054111008891

By:

BORDIHN, HENNING;
KUTRIB, MARTIN;
MALCHER, ANDREAS;
Yu, Sheng

Publication type:

Article

ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA:: AN ANALYTIC COMBINATORICS APPROACH.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1593, doi. 10.1142/S0129054111008908

By:

BRODA, SABINE;
MACHIAVELO, ANTÓNIO;
MOREIRA, NELMA;
REIS, ROGÉRIO;
Yu, Sheng

Publication type:

Article

EXPLORING INSIDE TILING RECOGNIZABLE PICTURE LANGUAGES TO FIND DETERMINISTIC SUBCLASSES.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1519, doi. 10.1142/S0129054111008854

By:

GIAMMARRESI, DORA;
Yu, Sheng

Publication type:

Article

EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1607, doi. 10.1142/S012905411100891X

By:

FRIESE, SYLVIA;
SEIDL, HELMUT;
MANETH, SEBASTIAN;
Yu, Sheng

Publication type:

Article

COMPLEXITY IN UNION-FREE REGULAR LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1639

By:

JIRÁSKOVÁ, GALINA;
MASOPUST, TOMÁŠ;
Yu, Sheng

Publication type:

Article

On the Minimization of (Complete) Ordered Binary Decision Diagrams.

Published in:

Theory of Computing Systems, 2016, v. 59, n. 3, p. 532, doi. 10.1007/s00224-015-9657-x

By:

Bollig, Beate

Publication type:

Article

Adaptively learning probabilistic deterministic automata from data streams.

Published in:

Machine Learning, 2014, v. 96, n. 1-2, p. 99, doi. 10.1007/s10994-013-5408-x

By:

Balle, Borja;
Castro, Jorge;
Gavaldà, Ricard

Publication type:

Article

An efficient sparse matrix format for accelerating regular expression matching on field-programmable gate arrays.

Published in:

Security & Communication Networks, 2015, v. 8, n. 1, p. 13, doi. 10.1002/sec.780

By:

Jiang, Lei;
Tan, Jianlong;
Tang, Qiu

Publication type:

Article

Pattern Formation Through Cooperative Self-Organization in Stressed Bacterial Colonies: A Complexity Perspective.

Published in:

IUP Journal of Environmental Sciences, 2011, v. 5, n. 4, p. 53

By:

Shanu, Saurabh;
Srivastava, Gaurav;
Agarwal, Dushyant;
Bhattacharya, Sudeepto

Publication type:

Article

DISTRIBUTION OF CLUMP STATISTICS FOR A COLLECTION OF WORDS.

Published in:

Journal of Applied Probability, 2011, v. 48, n. 4, p. 1049, doi. 10.1239/jap/1324046018

By:

Martin, Donald E. K.;
Coleman, Deidra A.

Publication type:

Article

SOLVING SOME DETERMINISTIC FINITE HORIZON INVENTORY MODELS.

Published in:

Operations Research & Decisions, 2013, v. 23, n. 1, p. 63, doi. 10.5277/ord130105

By:

SINHA, Pritibhushan

Publication type:

Article

Büchi Store: an open repository of $$\omega $$-automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 109, doi. 10.1007/s10009-012-0268-4

By:

Tsay, Yih-Kuen;
Tsai, Ming-Hsien;
Chang, Jinn-Shu;
Chang, Yi-Wen;
Liu, Chi-Shiang

Publication type:

Article

Stroke-based intelligent character recognition using a deterministic finite automaton.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 3, p. 463, doi. 10.1093/jigpal/jzv017

By:

ÁLVAREZ, D.;
FERNÁNDEZ, R.;
SÁNCHEZ, L.

Publication type:

Article

Editorial: SAICSIT 2016 special section.

Published in:

South African Computer Journal, 2017, v. 29, n. 1, p. vii, doi. 10.18489/sacj.v29i1.513

By:

Machanick, Philip

Publication type:

Article

An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata.

Published in:

South African Computer Journal, 2017, v. 29, n. 1, p. 43, doi. 10.18489/sacj.v29i1.456

By:

Nxumalo, Madoda;
Kourie, Derrick G.;
Cleophas, Loek;
Watso, Bruce W.

Publication type:

Article

Weak factor automata: The failure of failure factor oracles?

Published in:

South African Computer Journal, 2014, v. 53, p. 1, doi. 10.18489/sacj.v53i0.199

By:

Cleophas, Loek;
Kourie, Derrick G.;
Watson, Bruce W.

Publication type:

Article

ACCURATE MODELING OF THE SIEMENS S7 SCADA PROTOCOL FOR INTRUSION DETECTION AND DIGITAL FORENSICS.

Published in:

Journal of Digital Forensics, Security & Law, 2014, v. 9, n. 2, p. 37

By:

Kleinmann, Amit;
Wool, Avishai

Publication type:

Article