Search results for "finite automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Andris Ambainis	The Complexity of Probabilistic versus Deterministic Finite Automata.	ISAAC	1996	DBLP DOI BibTeX RDF	the complexity of finite automata, probabilistic finite automata, Automata theory
4	Howard Straubing, Denis Thérien	Finite automata and computational complexity.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
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	Korakot Prachumrak	Weighted Finite Automata encoding over Thai language.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	Thai language, weighted finite automata, data compression, text
3	Hanlin Lu, Sheng Yu	Are Statecharts Finite Automata?.	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, 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
3	Christopher L. Hayes, Yan Luo	DPICO: a high speed deep packet inspection engine using compact finite automata.	ANCS	2007	DBLP DOI BibTeX RDF	FPGA, intrusion detection, finite automata, content addressable memory
3	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
3	Juraj Hromkovic, Georg Schnitger	Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation.	ICALP	2003	DBLP DOI BibTeX RDF	descriptional complexity of regular languages, Finite automata, nondeterminism
3	Andris Ambainis, Ashwin Nayak, Amnon Ta-Shma, Umesh V. Vazirani	Dense quantum coding and quantum finite automata.	J. ACM	2002	DBLP DOI BibTeX RDF	Automaton size, quantum computation, encoding, communication complexity, finite automata, quantum communication
3	Carlo Mereghetti, Beatrice Palano	Upper Bounds on the Size of One-Way Quantum Finite Automata.	ICTCS	2001	DBLP DOI BibTeX RDF	quantum finite automata, periodic events and languages
3	Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel	An Inference Implementation Based on Extended Weighted Finite Automata.	ACSC	2001	DBLP DOI BibTeX RDF	Weighted finite automata, image compression, self-similarity, inference algorithm
3	Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert	Measures of Nondeterminism in Finite Automata.	ICALP	2000	DBLP DOI BibTeX RDF	limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity
3	Christoph C. Michael, Anup K. Ghosh	Using Finite Automata to Mine Execution Data for Intrusion Detection: A Preliminary Report.	Recent Advances in Intrusion Detection	2000	DBLP DOI BibTeX RDF	data mining, machine learning, finite automata, feature detection
3	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
3	Klaus Brouwer, Wolfgang Gellerich, Erhard Plödereder	Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis.	CC	1998	DBLP DOI BibTeX RDF	Finite Automata, Lexical Analysis, Scanner, Run-time Efficiency
3	Andris Ambainis, Rusins Freivalds	1-Way Quantum Finite Automata: Strengths, Weaknesses and Generalizations.	FOCS	1998	DBLP DOI BibTeX RDF	quantum computation, finite automata
3	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
3	Ullrich Hafner	Image and Video Coding with Weighted Finite Automata. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	rate distortion constrained approximation, weighted finite automata, picture sequences, temporal redundancies removal, spatial redundancies removal, mathematical structure, efficient hybrid compression methods, coding algorithm, coarse linear combination, inter-frame coding, intra-frame coding, H.263 video coding standard, adaptive image partitioning, prediction, image coding, image coding, motion compensation, self similarities, entropy coding
3	Ronald L. Rivest, Robert E. Schapire	Diversity-Based Inference of Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	diversity-based representation, permutation automata, finite automata, learning theory, inductive inference
3	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
3	Thomas L. Casavant, Jon G. Kuhl	A Communicating Finite Automata Approach to Modeling Distributed Computation and Its Application to Distributed Decision-Making.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	communicating finite automata approach, standard specification mechanism, distribution scheduling algorithms, scheduling, modeling, formal specification, distributed computation, directed graphs, directed graphs, finite automata, distributed decision-making
3	Jean-Camille Birget	Basic techniques for two-way finite automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
3	Jean Berstel	Finite automata and rational languages. An introduction.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
3	Kosaburo Hashiguchi	Relative star height, star height and finite automata with distance functions.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
3	Wolfgang Thomas	Automata and quantifier hierarchies.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
3	Thomas L. Casavant, Jon G. Kuhl	Effects of Response and Stability on Scheduling in Distributed Computing Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	user-defined objective, communicating finite automata models, first-order metric, scheduling, scheduling, load balancing, stability, distributed processing, dynamic systems, finite automata, response, distributed computing systems
2	Xiaowei Zhang, Yongming Li	Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy recognizer, Intuitionistic fuzzy finite automaton, Deterministic intuitionistic fuzzy finite automaton, Intuitionistic fuzzy language
2	Abuzer Yakaryilmaz, A. C. Cem Say	Languages Recognized with Unbounded Error by Quantum Finite Automata.	CSR	2009	DBLP DOI BibTeX RDF
2	Stephen L. Bloom, Zoltán Ésik, Werner Kuich	Cycle-Free Finite Automata in Partial Iterative Semirings.	CAI	2009	DBLP DOI BibTeX RDF
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	Changyan Zhou, Ratnesh Kumar	Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Christos A. Kapoutsis	Size Complexity of Two-Way Finite Automata.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Radu Grosu	Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.	HSCC	2009	DBLP DOI BibTeX RDF
2	Hermann Gruber, Markus Holzer, Michael Tautschnig	Short Regular Expressions from Finite Automata: Empirical Results.	CIAA	2009	DBLP DOI BibTeX RDF
2	Jan Holub, Stanislav Stekr	On Parallel Implementations of Deterministic Finite Automata.	CIAA	2009	DBLP DOI BibTeX RDF
2	Rusins Freivalds	Amount of Nonconstructivity in Finite Automata.	CIAA	2009	DBLP DOI BibTeX RDF
2	Attila Csenki	Flowgraph Models in Reliability and Finite Automata.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
2	Daowen Qiu	Some Observations on Two-Way Finite Automata with Quantum and Classical States.	ICIC	2008	DBLP DOI BibTeX RDF
2	Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib	Deterministic Input-Reversal and Input-Revolving Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
2	Mark Mercer	Lower Bounds for Generalized Quantum Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
2	Barbara Klunder	Characterization of Star-Connected Languages Using Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
2	Bernard Boigelot, Julien Brusten, Véronique Bruyère	On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.	ICALP	2008	DBLP DOI BibTeX RDF
2	Hermann Gruber, Markus Holzer	Finite Automata, Digraph Connectivity, and Regular Expression Size.	ICALP	2008	DBLP DOI BibTeX RDF
2	Bennett Setzer	Minimal finite automata from finite training sets.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	inducing regular sets, regular sets, finite automata
2	Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi	Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.	KES	2008	DBLP DOI BibTeX RDF
2	Henning Bordihn, Martin Kutrib, Andreas Malcher	On the Computational Capacity of Parallel Communicating Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	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
2	Cyril Allauzen, Mehryar Mohri, Ashish Rastogi	General Algorithms for Testing the Ambiguity of Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	Hermann Gruber, Markus Holzer	Provably Shorter Regular Expressions from Deterministic Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	Michela Becchi, Patrick Crowley	Extending finite automata to efficiently match Perl-compatible regular expressions.	CoNEXT	2008	DBLP DOI BibTeX RDF
2	Yang Zhang, Jingjun Zhang, Hui Li	Architectural Mismatch Detection between Component and Aspect Based on Finite Automata.	RAM	2008	DBLP DOI BibTeX RDF
2	Peter Gazi, Branislav Rovan	Assisted Problem Solving and Decompositions of Finite Automata.	SOFSEM	2008	DBLP DOI BibTeX RDF
2	Jorge Castro, Ricard Gavaldà	Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata.	ICGI	2008	DBLP DOI BibTeX RDF
2	Rusins Freivalds	Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States.	ISAAC	2008	DBLP DOI BibTeX RDF
2	Markus Holzer, Martin Kutrib	Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity.	CIAA	2008	DBLP DOI BibTeX RDF
2	Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas	Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract).	Autonomics	2008	DBLP DOI BibTeX RDF	folk-theorem, joint deviation, game theory, self-stabilization, finite-automata
2	Changyan Zhou, Ratnesh Kumar, Shengbing Jiang	Keynote: Hierarchical Fault Detection in Embedded Control Software.	COMPSAC	2008	DBLP DOI BibTeX RDF	Fault monitoring, embedded control systems, input/output extended finite automata, discrete-time hybrid systems, fault detection, fault isolation
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	Randy Smith, Cristian Estan, Somesh Jha	XFA: Faster Signature Matching with Extended Automata.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	intrusion detection, regular expressions, finite automata, signature matching
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	Yu-Qiang Sun, Hai-Lian Lu, Yu-Ping Li, Hai-Yan Wang	Parallel Processing of Minimization Algorithm for Determination Finite Automata.	ICIC	2007	DBLP DOI BibTeX RDF	distinguishable state table, parallelism, DFA
2	Jürgen Albert, German Tischler	On Generalizations of Weighted Finite Automata and Graphics Applications.	CAI	2007	DBLP DOI BibTeX RDF
2	Kai Salomaa	Descriptional Complexity of Nondeterministic Finite Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
2	Henning Bordihn, Markus Holzer, Martin Kutrib	Hairpin Finite Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
2	Xian Xu	P Systems and Finite Automata.	CISIS	2007	DBLP DOI BibTeX RDF
2	Barbara Klunder	Finite Automata Accepting Star-Connected Languages.	CIAA	2007	DBLP DOI BibTeX RDF	trace monoid, star-connected language, finite automaton
2	Yongming Li	Approximation Property of Fuzzy Finite Automata.	AWIC	2007	DBLP DOI BibTeX RDF
2	Kyubum Wee, Sinjae Kim	Construction of Finite Automata for Intrusion Detection from System Call Sequences by Genetic Algorithms.	PAKDD	2006	DBLP DOI BibTeX RDF
2	Ka-Ming Keung, Akhilesh Tyagi	State space reconfigurability: an implementation architecture for self modifying finite automata.	CASES	2006	DBLP DOI BibTeX RDF	SMFA, architecture, reconfigurability, FSM
2	Bala Ravikumar	On Some Variations of Two-Way Probabilistic Finite Automata Models.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
2	Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin	Antichains: A New Algorithm for Checking Universality of Finite Automata.	CAV	2006	DBLP DOI BibTeX RDF
2	Marats Golovkins, Jean-Eric Pin	Varieties Generated by Certain Models of Reversible Finite Automata.	COCOON	2006	DBLP DOI BibTeX RDF
2	Jiming Ma, Haibin Zhu, Wenqian Shang	The Construction Approach of Regular Expressions from Finite Automata Including Multi-Node Loops.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Ilze Dzelme	Quantum Finite Automata and Logics.	SOFSEM	2006	DBLP DOI BibTeX RDF
2	Timothy M. White, Thomas P. Way	jFAST: a java finite automata simulator.	SIGCSE	2006	DBLP DOI BibTeX RDF	theory of computation education, simulation, finite state machines, finite automata, educational software
2	Jürgen Dassow, György Vaszil	P Finite Automata and Regular Languages over Countably Infinite Alphabets.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
2	Hing Leung	Structurally Unambiguous Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	German Tischler	Refinement of Near Random Access Video Coding with Weighted Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	Henning Bordihn, Markus Holzer, Martin Kutrib	Hybrid Extended Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	Pavlos Antoniou, Jan Holub, Costas S. Iliopoulos, Borivoj Melichar, Pierre Peterlongo	Finding Common Motifs with Gaps Using Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	Kimmo Fredriksson, Szymon Grabowski	Efficient Bit-Parallel Algorithms for (delta, alpha)-Matching.	WEA	2006	DBLP DOI BibTeX RDF	protein matching, music information retrieval, approximate string matching, bit-parallelism, nondeterministic finite automata
2	Manuel Baclet, Claire Pagetti	Around Hopcroft's Algorithm.	CIAA	2006	DBLP DOI BibTeX RDF	Hopcroft’s algorithm, Finite automata, minimization
2	Li Sheng, Yongming Li	Regular grammars with truth values in lattice-ordered monoid and their languages.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy finite automata, Fuzzy regular grammar, Fuzzy regular language, Lattice-ordered monoid
2	Junna Kuramochi, Yasubumi Sakakibara	Intensive In Vitro Experiments of Implementing and Executing Finite Automata in Test Tube.	DNA	2005	DBLP DOI BibTeX RDF
2	Henning Bordihn, Markus Holzer, Martin Kutrib	Revolving-Input Finite Automata.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
2	Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini	Complementing Two-Way Finite Automata.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
2	Jan Zdárek, Borivoj Melichar	On Two-Dimensional Pattern Matching by Finite Automata.	CIAA	2005	DBLP DOI BibTeX RDF
2	Colin de la Higuera, Frédéric Piat, Frédéric Tantini	Learning Stochastic Finite Automata for Musical Style Recognition.	CIAA	2005	DBLP DOI BibTeX RDF
2	Rusins Freivalds	Languages Recognizable by Quantum Finite Automata.	CIAA	2005	DBLP DOI BibTeX RDF
2	Lucian Ilie, Roberto Solis-Oba, Sheng Yu	Reducing the Size of NFAs by Using Equivalences and Preorders.	CPM	2005	DBLP DOI BibTeX RDF	state complexity, finite automata, equivalences, regular expression matching, preorders
2	Emmanuel Jeandel	Topological Automata.	STACS	2005	DBLP DOI BibTeX RDF	ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
2	Till Tantau	Comparing Verboseness for Finite Automata and Turing Machines.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
2	Yang Kai, Ghim Hwee Ong	Applying binary partitioning to weighted finite automata for image compression.	ICIP	2004	DBLP DOI BibTeX RDF
2	Vesa Halava	Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
2	Colin de la Higuera, José Oncina	Learning Stochastic Finite Automata.	ICGI	2004	DBLP DOI BibTeX RDF
2	Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema	Finding Finite Automata That Certify Termination of String Rewriting.	CIAA	2004	DBLP DOI BibTeX RDF
2	German Tischler	Parametric Weighted Finite Automata for Figure Drawing.	CIAA	2004	DBLP DOI BibTeX RDF
2	Harumichi Nishimura, Tomoyuki Yamakami	An Application of Quantum Finite Automata to Interactive Proof Systems.	CIAA	2004	DBLP DOI BibTeX RDF	quantum finite automaton, quantum interactive proof system, quantum measurement, quantum circuit