RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron

Source URL: cap.virginia.edu

• Finite automata
• Software engineering
• Computer programming
• Software
• Nondeterministic finite automaton
• Automata theory
• Finite-state machine
• Lex
• Regular expression
• Macro
• Pattern matching

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

PII:

Source URL: www.cis.upenn.edu

• Finite automata
• Timed automaton
• Muller automaton
• Deterministic automaton
• Finite-state machine
• Regular language
• Nondeterministic finite automaton
• Alphabet
• Automata theory
• -automaton

Average Analysis of Glushkov Automata under a BST-Like Model Cyril Nicaud1 , Carine Pivoteau1 , and Benoît Razet2 1 2

Source URL: drops.dagstuhl.de

• Finite automata
• Formal languages
• Regular language
• Constructible universe
• Tree automaton
• Quantum finite automata

Nondeterministic Finite Automata in Hardware - the Case of the Levenshtein Automaton Tommy Tracy II, Mircea Stan, Nathan Brunelle, Jack Wadden, Ke Wang, Kevin Skadron, Gabriel Robins University of Virginia Charlottesvill

Source URL: cap.wpengine.com

Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Finite automata
• Timed automaton
• Finite-state machine
• Clock
• Cellular automata
• Models of computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

15-04 | March 26, 2015 Contract as Automaton: The Computational Representation of Financial Agreements Mark D. Flood Office of Financial Research

Source URL: financialresearch.gov

Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative

Source URL: game.itu.dk

• Artificial intelligence
• Control engineering
• Fuzzy logic
• Logic in computer science
• Fuzzy control system
• Timed automaton
• Petri net
• Control system
• Finite-state machine
• Emotion
• Computational intelligence

ARTISTE NOMINÉ LUKAS TRUNIGER Déjà Entendu I An Opera Automaton Installation générative, 2015 Suisse

Source URL: www.prixcube.com