Search results for "deterministic finite automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Anup Kumar Keshri, Rakesh Kumar Sinha, Rajesh Hatwal, Barda Nand Das	Epileptic Spike Recognition in Electroencephalogram Using Deterministic Finite Automata.	J. Medical Systems	2009	DBLP DOI BibTeX RDF	Epileptic spike, Electroencephalogram, Automated system, Deterministic finite automata
3	Piti Piyachon, Yan Luo	Design of high performance pattern matching engine through compact deterministic finite automata.	DAC	2008	DBLP DOI BibTeX RDF	pattern matching, content addressable memory, deterministic finite automata
2	Lars Brenna, Johannes Gehrke, Mingsheng Hong, Dag Johansen	Distributed event stream processing with non-deterministic finite automata.	DEBS	2009	DBLP DOI BibTeX RDF	continuous queries, publish-subscribe, event streams, NFA
2	Jorge Castro, Ricard Gavaldà	Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata.	ICGI	2008	DBLP DOI BibTeX RDF
2	Miad Faezipour, Mehrdad Nourani	Constraint Repetition Inspection for Regular Expression on FPGA.	Hot Interconnects	2008	DBLP DOI BibTeX RDF	Non-deterministic Finite Automata, Constraint Repetition Inspection, Regular Expression, Network Intrusion Detection System
2	Colin de la Higuera, Jean-Christophe Janodet, Frédéric Tantini	Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings.	ICGI	2008	DBLP DOI BibTeX RDF	Polynomial learnability, balls of strings, edit distance, deterministic finite automata
2	Avraham Trakhtman	Some Aspects of Synchronization of DFA.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	deterministic finite automata (DFA), aperiodic semigroup, ?erný conjecture, synchronization
2	Markus Holzer, Barbara König	On Deterministic Finite Automata and Syntactic Monoid Size, Continued.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
2	Markus Holzer, Barbara König	On Deterministic Finite Automata and Syntactic Monoid Size.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
2	Bruce W. Watson	A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata.	WIA	1999	DBLP DOI BibTeX RDF
2	Colin de la Higuera	Learning Stochastic Finite Automata from Experts.	ICGI	1998	DBLP DOI BibTeX RDF	identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference
2	Sam M. Kim, Robert McNaughton, Robert McCloskey	A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	local testability, locally testable language, nonnegative integer, prefix, suffix, computational complexity, polynomial time algorithm, formal languages, finite automata, word, deterministic finite automata, deterministic automata, substrings
2	Chandra M. R. Kintala, Detlef Wotschke	Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract).	STACS	1986	DBLP DOI BibTeX RDF
1	Tobias Marschall	Construction of minimal deterministic finite automata from biological motifs.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Lucas Vespa, Ning Weng	Deterministic finite automata characterization and optimization for scalable pattern matching.	TACO	2011	DBLP DOI BibTeX RDF
1	Bo Luo, Dongwon Lee, Wang-Chien Lee, Peng Liu	QFilter: rewriting insecure XML queries to secure ones using non-deterministic finite automata.	VLDB J.	2011	DBLP DOI BibTeX RDF
1	Michal Kunc, Alexander Okhotin	Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups.	Developments in Language Theory	2011	DBLP DOI BibTeX RDF
1	Yi-Hua E. Yang, Viktor K. Prasanna	Space-time tradeoff in regular expression matching with semi-deterministic finite automata.	INFOCOM	2011	DBLP DOI BibTeX RDF
1	Michal Kunc, Alexander Okhotin	State Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary Alphabet.	DCFS	2011	DBLP DOI BibTeX RDF
1	Cong Liu, Ai Chen, Di Wu, Jie Wu	A DFA with Extended Character-Set for Fast Deep Packet Inspection.	ICPP	2011	DBLP DOI BibTeX RDF	extended character-set, regular expression, Deep packet inspection, deterministic finite automata
1	Rusins Freivalds	Amount of nonconstructivity in deterministic finite automata.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Sven Schewe	Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata	CoRR	2010	DBLP BibTeX RDF
1	Jan Kastil, Jan Korenek	High speed pattern matching algorithm based on deterministic finite automata with faulty transition table.	ANCS	2010	DBLP DOI BibTeX RDF
1	Rory A. Lewis, Andrew M. White 0001	Seizure Detection Using Sequential and Coincident Power Spectra with Deterministic Finite Automata.	BIOCOMP	2010	DBLP BibTeX RDF
1	Rory A. Lewis, Doron Shmueli, Andrew M. White 0001	Deterministic Finite Automata in the Detection of EEG Spikes and Seizures.	IDA	2010	DBLP DOI BibTeX RDF
1	Jan Kastil, Jan Korenek	Hardware accelerated pattern matching based on Deterministic Finite Automata with perfect hashing.	DDECS	2010	DBLP DOI BibTeX RDF
1	Joshua Jones, Tim Oates	Learning Deterministic Finite Automata from Interleaved Strings.	ICGI	2010	DBLP DOI BibTeX RDF
1	Makoto Onizuka	Processing XPath queries with forward and downward axes over XML streams.	EDBT	2010	DBLP DOI BibTeX RDF	XPath, automata, XML stream
1	Hao Wang, Shi Pu, Gabriel Knezek, Jyh-Charn Liu	A modular NFA architecture for regular expression matching.	FPGA	2010	DBLP DOI BibTeX RDF	character class constraint repetition, overlapped matching, FPGA, regular expression, NFA
1	Wim Martens, Matthias Niewerth, Thomas Schwentick	Schema design for XML repositories: complexity and tractability.	PODS	2010	DBLP DOI BibTeX RDF	language primality, complexity, xml, xml schemas
1	Mikel Alecha, Montserrat Hermo	A Learning Algorithm for Deterministic Finite Automata using JFLAP.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Tomás Masopust	Answers to Questions Formulated in the Paper "On States Observability in Deterministic Finite Automata"	CoRR	2009	DBLP BibTeX RDF
1	Marco Almeida, Nelma Moreira, Rogério Reis	Exact generation of acyclic deterministic finite automata	CoRR	2009	DBLP BibTeX RDF
1	Avenir Kobetski, Martin Fabian	Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming.	Discrete Event Dynamic Systems	2009	DBLP DOI BibTeX RDF
1	Lucas Vespa, Ning Weng	Deterministic Finite Automata Characterization for Memory-Based Pattern Matching.	ICICS	2009	DBLP DOI BibTeX RDF
1	Gianni Antichi, Andrea Di Pietro, Domenico Ficara, Stefano Giordano, Gregorio Procissi, Fabio Vitucci	Second-Order Differential Encoding of Deterministic Finite Automata.	GLOBECOM	2009	DBLP DOI BibTeX RDF
1	Jan Holub, Stanislav Stekr	On Parallel Implementations of Deterministic Finite Automata.	CIAA	2009	DBLP DOI BibTeX RDF
1	Jianwei Yin, Chunxu Lv	Sub-order Non-duplication Event Matching Algorithm for Stateful Publish/Subscribe Systems.	NCM	2009	DBLP DOI BibTeX RDF	Composite event matching, Non-deterministic finite automata, Publish/subscribe, Stateful
1	Hai Jin, Guofu Xiang, Feng Zhao, Deqing Zou, Min Li, Lei Shi	VMFence: a customized intrusion prevention system in distributed virtual computing environment.	ICUIMC	2009	DBLP DOI BibTeX RDF	virtual computing platform, distributed system, intrusion detection, network security, virtualization, intrusion prevention
1	Agathe Merceron	Design patterns to support teaching of automata theory.	ITiCSE	2009	DBLP DOI BibTeX RDF	deterministic finite automaton (dfa), design pattern
1	Yuan Mei, Samuel Madden	ZStream: a cost-based query processor for adaptively detecting composite events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimization, algorithm, streaming, complex event processing
1	Lucas Vespa, Mini Mathew, Ning Weng	P3FSM: Portable Predictive Pattern Matching Finite State Machine.	ASAP	2009	DBLP DOI BibTeX RDF
1	Randy Smith, Neelam Goyal, Justin Ormont, Karthikeyan Sankaralingam, Cristian Estan	Evaluating GPUs for network packet signature matching.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
1	Hermann Gruber, Markus Holzer	Tight Bounds on the Descriptional Complexity of Regular Expressions.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
1	Dag Hovland	Regular Expressions with Numerical Constraints and Automata with Counters.	ICTAC	2009	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
1	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	On Extremal Cases of Hopcroft's Algorithm.	CIAA	2009	DBLP DOI BibTeX RDF
1	Rusins Freivalds	Amount of Nonconstructivity in Finite Automata.	CIAA	2009	DBLP DOI BibTeX RDF
1	Hermann Gruber, Markus Holzer, Michael Tautschnig	Short Regular Expressions from Finite Automata: Empirical Results.	CIAA	2009	DBLP DOI BibTeX RDF
1	Marco Almeida, Nelma Moreira, Rogério Reis	Exact Generation of Minimal Acyclic Deterministic Finite Automata.	Int. J. Found. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	W. Erik Anderson	On the Secure Obfuscation of Deterministic Finite Automata.	IACR Cryptology ePrint Archive	2008	DBLP BibTeX RDF
1	Hermann Gruber, Markus Holzer	Provably Shorter Regular Expressions from Deterministic Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
1	Marco Almeida, Nelma Moreira, Rogério Reis	Exact Generation of Acyclic Deterministic Finite Automata.	DCFS	2008	DBLP BibTeX RDF
1	Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali	Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
1	Michela Becchi, Patrick Crowley	Extending finite automata to efficiently match Perl-compatible regular expressions.	CoNEXT	2008	DBLP DOI BibTeX RDF
1	Anirban Majumder, Rajeev Rastogi, Sriram Vanama	Scalable regular expression matching on data streams.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data streams, deep packet inspection, regular expression matching
1	J. Divyasree, H. Rajashekar, Kuruvilla Varghese	Dynamically reconfigurable regular expression matching architecture.	ASAP	2008	DBLP DOI BibTeX RDF
1	Miad Faezipour, Mehrdad Nourani	Reconfigurable Constraint Repetition Unit for Regular Expression Matching.	FCCM	2008	DBLP DOI BibTeX RDF
1	Norio Yamagaki, Reetinder P. S. Sidhu, Satoshi Kamiya	High-speed regular expression matching engine using multi-character NFA.	FPL	2008	DBLP DOI BibTeX RDF
1	Qun Chen, Zhanhuai Li, Hailong Liu	Optimizing Complex Event Processing over RFID Data Streams.	ICDE	2008	DBLP DOI BibTeX RDF
1	Kazuhiro Nakadai, Shun'ichi Yamamoto, Hiroshi G. Okuno, Hirofumi Nakajima, Yuji Hasegawa, Hiroshi Tsujino	A robot referee for rock-paper-scissors sound games.	ICRA	2008	DBLP DOI BibTeX RDF
1	Michela Becchi, Mark A. Franklin, Patrick Crowley	A workload for evaluating deep packet inspection architectures.	IISWC	2008	DBLP DOI BibTeX RDF
1	Juraj Hromkovic, Georg Schnitger	On the Hardness of Determining Small NFA's and of Proving Lower Bounds on Their Sizes.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
1	Galina Jirásková, Alexander Okhotin	On the State Complexity of Operations on Two-Way Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
1	Christos A. Kapoutsis, Richard Královic, Tobias Mömke	On the Size Complexity of Rotating and Sweeping Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
1	Hermann Gruber, Jan Johannsen	Optimal Lower Bounds on Regular Expression Size Using Communication Complexity.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Sonja Maier, Steffen Mazanek, Mark Minas	Visual Specification of Layout.	Graph Drawing	2008	DBLP DOI BibTeX RDF
1	Henrik Björklund, Wim Martens	The Tractability Frontier for NFA Minimization.	ICALP	2008	DBLP DOI BibTeX RDF
1	Hermann Gruber, Markus Holzer	Finite Automata, Digraph Connectivity, and Regular Expression Size.	ICALP	2008	DBLP DOI BibTeX RDF
1	Rusins Freivalds	Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States.	ISAAC	2008	DBLP DOI BibTeX RDF
1	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	Hopcroft's Algorithm and Cyclic Automata.	LATA	2008	DBLP DOI BibTeX RDF
1	Pawan Goyal, Vipul Arora, Laxmidhar Behera	Analysis of Sanskrit Text: Parsing and Semantic Relations.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF
1	Peter Gazi, Branislav Rovan	Assisted Problem Solving and Decompositions of Finite Automata.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Markus Holzer, Martin Kutrib	Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity.	CIAA	2008	DBLP DOI BibTeX RDF
1	Andrei Paun, Mihaela Paun, Alfonso Rodríguez-Patón	Hopcroft's Minimization Technique: Queues or Stacks?.	CIAA	2008	DBLP DOI BibTeX RDF
1	Benoît Razet	Finite Eilenberg Machines.	CIAA	2008	DBLP DOI BibTeX RDF
1	Antoine Cornuéjols, Michèle Sebag	A note on phase transitions and computational pitfalls of learning from sequences.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Supervised learning, Grammatical inference, Sequence learning
1	Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis	Regular Expression Matching in Reconfigurable Hardware.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	network security, pattern matching, regular expression, reconfigurable hardware
1	Libor Polák	Remarks on Multiple Entry Deterministic Finite Automata.	Journal of Automata, Languages and Combinatorics	2007	DBLP BibTeX RDF
1	Marco Almeida, Nelma Moreira, Rogério Reis	Exact Generation of Minimal Acyclic Deterministic Finite Automata.	DCFS	2007	DBLP BibTeX RDF
1	A. N. Trahtman	Synchronization of Some DFA.	TAMC	2007	DBLP DOI BibTeX RDF	aperiodic semigroup, ?erny conjecture, synchronization, Deterministic finite automata
1	Michela Becchi, Patrick Crowley	An improved algorithm to accelerate regular expression evaluation.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
1	Sailesh Kumar, Balakrishnan Chandrasekaran, Jonathan S. Turner, George Varghese	Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
1	Michela Becchi, Patrick Crowley	A hybrid finite automaton for practical deep packet inspection.	CoNEXT	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection, NFA
1	Lihui Lei, Zhenhua Duan	Automating Web Service Composition for Collaborative Business Processes.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt	Architectural Test Coverage for Component-Based Integration Testing.	QSIC	2007	DBLP DOI BibTeX RDF
1	Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau	Modeling the Regular Constraint with Integer Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
1	Hermann Gruber, Markus Holzer	Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
1	Rusins Freivalds	Hamming, Permutations and Automata.	SAGA	2007	DBLP DOI BibTeX RDF
1	Bala Ravikumar, Nicolae Santean	Deterministic Simulation of a NFA with k -Symbol Lookahead.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Raquel Fernández, Ulle Endriss	Abstract models for dialogue protocols.	Journal of Logic, Language and Information	2007	DBLP DOI BibTeX RDF	Multiagent systems, Communication protocols, Theory of computation, Dialogue modelling
1	Sailesh Kumar, Jonathan S. Turner, John Williams	Advanced algorithms for fast and scalable deep packet inspection.	ANCS	2006	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
1	Boguslaw Schreyer, Wojciech Wawrzynski	Finite automata models for CS problem with binary semaphore.	ITiCSE	2006	DBLP DOI BibTeX RDF	computer science education, finite automata, process synchronization
1	Sailesh Kumar, Sarang Dharmapurikar, Fang Yu, Patrick Crowley, Jonathan S. Turner	Algorithms to accelerate multiple regular expressions matching for deep packet inspection.	SIGCOMM	2006	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
1	Brett D. Estrade, A. Louise Perkins, John M. Harris	Explicitly Parallel Regular Expressions.	IMSCCS	2006	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu	Collaborative Agents Interaction Using Message Passing Interface.	SYNASC	2006	DBLP DOI BibTeX RDF
1	Hongbin Lu, Kai Zheng, Bin Liu 0001, Xin Zhang 0003, Y. Liu	A Memory-Efficient Parallel String Matching Architecture for High-Speed Intrusion Detection.	IEEE Journal on Selected Areas in Communications	2006	DBLP DOI BibTeX RDF
1	Ricard Gavaldà, Philipp W. Keller, Joelle Pineau, Doina Precup	PAC-Learning of Markov Models with Hidden State.	ECML	2006	DBLP DOI BibTeX RDF
1	Hing Leung	Structurally Unambiguous Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF