Search results for "Finite-state automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Attila Kondacs, John Watrous	On the Power of Quantum Finite State Automata.	FOCS	1997	DBLP DOI BibTeX RDF	quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
3	Brian Tung, Leonard Kleinrock	Using Finite State Automata to Produce Self-Optimization and Self-Control.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	optimization, robotics, Approximation, decomposition, random walk, finite state automata, state aggregation
2	Alessandro Marino, Lynne E. Parker, Gianluca Antonelli, Fabrizio Caccavale	Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach.	ICRA	2009	DBLP DOI BibTeX RDF
2	Egor Dolzhenko, Natasa Jonoska	On Complexity of Two Dimensional Languages Generated by Transducers.	CIAA	2008	DBLP DOI BibTeX RDF	Finite State Automata with Output, Local Languages, Entropy, Transducers, Picture Languages
2	Pavel Petrovic	Strengths and weaknesses of FSA representation.	GECCO	2007	DBLP DOI BibTeX RDF	finite state automata, evolutionary programming, incremental evolution
2	Sheila Garfield, Stefan Wermter	Call classification using recurrent neural networks, support vector machines and finite state automata.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Spontaneous language, Classification, Support-vector machines, Recurrent neural networks, Finite-state automata
2	Vladan Bozic	Application of finite state automata to the bakery algorithm in critical section modeling.	ITiCSE	2006	DBLP DOI BibTeX RDF	bakery algorithm, finite state automata, critical section
2	Matthieu Constant, Denis Maurel	Compiling Linguistic Constraints into Finite State Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin Shin	Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	MPSG, Shop floor Control, Verification and Validation (V&V), Finite State Automata, FMS
2	K. Subramani, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
2	Thomas Hanneforth	Longest-Match Pattern Matching with Weighted Finite State Automata.	FSMNLP	2005	DBLP DOI BibTeX RDF
2	Yasuaki Kuroe	Representation and Identification Method of Finite State Automata by Recurrent High-Order Neural Networks.	ICANN	2005	DBLP DOI BibTeX RDF
2	Zhiwen Mo, Min Wan, Lan Shu	An evolution strategy for the induction of fuzzy finite-state automata.	GrC	2005	DBLP DOI BibTeX RDF
2	Yo-Sub Han, Derick Wood	Shorter Regular Expressions from Finite-State Automata.	CIAA	2005	DBLP DOI BibTeX RDF
2	Joshua J. Cogliati, Frances W. Goosey, Michael T. Grinder, Bradley A. Pascoe, Rockford J. Ross, Cheston J. Williams	Realizing the promise of visualization in the theory of computing.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	hypertextbook, learning applets, active learning, Computer science education, regular expressions, finite state automata, regular languages, theory of computing, regular grammars
2	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
2	Yasuaki Kuroe	Representation and Identification of Finite State Automata by Recurrent Neural Networks.	ICONIP	2004	DBLP DOI BibTeX RDF
2	Attila Egri-Nagy, Chrystopher L. Nehaniv	Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory.	CIAA	2004	DBLP DOI BibTeX RDF
2	Andreas Wombacher, Peter Fankhauser, Erich J. Neuhold	Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery.	ICWS	2004	DBLP DOI BibTeX RDF
2	Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su	Automated composition of e-services: lookaheads.	ICSOC	2004	DBLP DOI BibTeX RDF	automated composition, automated mediator construction, e-service modelling, roman model, service representation, service composition, service oriented computing, delegator, e-services, finite state automata, lookahead
2	Bing Shen, Zhongfei (Mark) Zhang, Chunfa Yuan	Person Name Identification in Chinese Documents Using Finite State Automata.	IAT	2003	DBLP DOI BibTeX RDF
2	Sangho Park, Jihun Park, Jake K. Aggarwal	Video Retrieval of Human Interactions Using Model-Based Motion Tracking and Multi-layer Finite State Automata.	CIVR	2003	DBLP DOI BibTeX RDF
2	Sebastian van Delden, Fernando Gomez	Combining Finite State Automata and a Greedy Learning Algorithm to Determine the Syntactic Roles of Commas.	ICTAI	2002	DBLP DOI BibTeX RDF
2	Yann Esposito, Aurélien Lemay, François Denis, Pierre Dupont	Learning Probabilistic Residual Finite State Automata.	ICGI	2002	DBLP DOI BibTeX RDF
2	Jan Daciuk	Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings.	CIAA	2002	DBLP DOI BibTeX RDF
2	Alberto Bertoni, Beatrice Palano	Structural Complexity and Neural Networks.	WIRN	2002	DBLP DOI BibTeX RDF	Neural networks, Learning, Combinatorial optimization, Finite state automata, Structural complexity
2	François Denis, Aurélien Lemay, Alain Terlutte	Residual Finite State Automata.	STACS	2001	DBLP DOI BibTeX RDF
2	Jarkko Kari, Cristopher Moore	New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata.	STACS	2001	DBLP DOI BibTeX RDF
2	Jorge Graña, Francisco-Mario Barcala, Miguel A. Alonso	Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries.	CIAA	2001	DBLP DOI BibTeX RDF
2	Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini	Converting Two-Way Nondeterministic Unary Automata into Simpler Automata.	MFCS	2001	DBLP DOI BibTeX RDF	unary languages, formal languages, finite state automata
2	Austin Donnelly, Tim Deegan	IP Route Lookups as String Matching. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	IP route lookups, destination address, routing table encoding, optimal representation, longest-prefix match problem, transport protocols, string matching, string matching, finite automata, telecommunication network routing, table lookup, finite state automata, state reduction
2	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
2	Buthayna Eilouti, Emanuel-George Vakalo	Finite State Automata as Form-Generation and Visualization Tools. (PDF / PS)	IV	1999	DBLP DOI BibTeX RDF
2	Adam Kellett, Michael Fisher	Automata Representations for Concurrent METATEM. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
2	Christian W. Omlin, C. Lee Giles	Constructing Deterministic Finite-State Automata in Recurrent Neural Networks.	J. ACM	1996	DBLP DOI BibTeX RDF	knowledge encoding, neural networks, stability, rules, automata, recurrent neural networks, nonlinear dynamics, connectionism
2	M. Asunción Castaño, Enrique Vidal, Francisco Casacuberta	Finite State Automata and Connectionist Machines: A Survey.	IWANN	1995	DBLP DOI BibTeX RDF
2	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	complex diagrams, constraint-based parsing, constraint grammars, graphics primitives, vectorized diagrams, genetic diagrams, finite state automata diagrams, Macintosh Common Lisp, Macintosh Quadra 700, finite automata, polygons, lines, spatial indexing, electronic documents, circles, Bezier curves
2	Isabelle Guyon, Fernando Pereira	Design of a linguistic postprocessor using variable memory length Markov models. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	linguistic postprocessor, variable memory length, character recognizers, variable memory length Markov model, VLMM, OCR, Markov processes, handwriting recognition, handwriting recognition, Markov models, finite automata, computational linguistics, finite state automata
2	Cynthia Dwork, Larry J. Stockmeyer	On the Power of 2-Way Probabilistic Finite State Automata (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	2PFA verifiers, 2-way probabilistic finite state automata, recognition power, nonregular language, exponential expected time, private randomization, public randomization, interactive proof systems
2	Roland Hausser	Left-associative grammar: The algebraic definitions.	Machine Translation	1988	DBLP DOI BibTeX RDF	Generative Power, Recursive Languages, Recursive-Transition Networks, Augmented-Transition Networks, Type-Transparency, Input-Output Equivalence, Generators, Finite-State Automata, Regular Languages, Parsers, Context-Free Languages, Context-Sensitive Languages
2	Roger L. Haskin, Lee A. Hollaar	Operational Characteristics of a Hardware-Based Pattern Matcher.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	backend processors, computer system architecture, full text retrieval systems, finite state automata, text searching
2	Pavol Duris, Juraj Hromkovic	Multihead Finite State Automata and Concatenation.	ICALP	1982	DBLP DOI BibTeX RDF
2	Fred J. Maryanski, Kuang Chan Wu	Nonlinear parameter estimation for probabilistic finite-state automata.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
1	Lorenzo Riano, T. Martin McGinnity	Automatically composing and parameterizing skills by evolving Finite State Automata.	Robotics and Autonomous Systems	2012	DBLP DOI BibTeX RDF
1	Patrick Adenis, Yicheng Wen, Asok Ray	An inner product space on irreducible and synchronizable probabilistic finite state automata.	MCSS	2012	DBLP DOI BibTeX RDF
1	Yicheng Wen, Asok Ray	Vector space formulation of probabilistic finite state automata.	J. Comput. Syst. Sci.	2012	DBLP DOI BibTeX RDF
1	Dipankar Majumdar, Swapan Bhattacharya	Interoperability of constrained finite state automata.	ACM SIGSOFT Software Engineering Notes	2012	DBLP DOI BibTeX RDF
1	Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen Linton	Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks	CoRR	2011	DBLP BibTeX RDF
1	Xin Jin, Shalabh Gupta, Kushal Mukherjee, Asok Ray	Wavelet-based feature extraction using probabilistic finite state automata for pattern classification.	Pattern Recognition	2011	DBLP DOI BibTeX RDF
1	Thomas Hanneforth	A Practical Algorithm for Intersecting Weighted Context-free Grammars with Finite-State Automata.	FSMNLP	2011	DBLP BibTeX RDF
1	Cvetana Krstev, Dusko Vitas, Ivan Obradovic, Milos Utvic	E-Dictionaries and Finite-State Automata for the Recognition of Named Entities.	FSMNLP	2011	DBLP BibTeX RDF
1	Marco Leogrande, Luigi Ciminiera, Fulvio Risso	Modeling Filtering Predicates Composition with Finite State Automata.	ANCS	2011	DBLP DOI BibTeX RDF	Performance, Design, Algorithms
1	Jan Daciuk, Dawid Weiss	Smaller Representation of Finite State Automata.	CIAA	2011	DBLP DOI BibTeX RDF
1	Sung Hwan Won, Iickho Song, Sun-Young Lee, Cheol Hoon Park	Identification of finite state automata with a class of recurrent neural networks.	IEEE Transactions on Neural Networks	2010	DBLP DOI BibTeX RDF
1	Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath	SetExp: a method of transformation of timed automata into finite state automata.	Real-Time Systems	2010	DBLP DOI BibTeX RDF
1	Anna Kasprzik	Learning Residual Finite-State Automata Using Observation Tables	DCFS	2010	DBLP DOI BibTeX RDF
1	R. A. Vinogradov, V. A. Sokolov	On a class of high-level finite-state automata.	Automatic Control and Computer Sciences	2010	DBLP DOI BibTeX RDF
1	Tommi A. Pirinen, Krister Lindén	Building and Using Existing Hunspell Dictionaries and TeX Hyphenators as Finite-State Automata.	IMCSIT	2010	DBLP BibTeX RDF
1	Ilze Dzelme-Berzina	Quantum Finite State Automata over Infinite Words.	UC	2010	DBLP DOI BibTeX RDF
1	Yuanfei Chen, Qingfeng Zeng, Zhenmin Zhu, Jintao Li	UDIO: An Ubiquitous Device Inter-operation System Based on IGRS.	ISPA	2010	DBLP DOI BibTeX RDF	service compostion, ontology, web service, pervasive computing, finite state automata
1	P. S. Thiagarajan, Shaofa Yang	Succinct discrete time approximations of distributed hybrid automata.	HSCC	2010	DBLP DOI BibTeX RDF	discrete time approximation, distributed hybrid automata
1	Ilze Dzelme-Berzina	Mathematical logic and quantum finite state automata.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Natasa Jonoska, Joni Burnette Pirnot	Finite state automata representing two-dimensional subshifts.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Andrew Badr, Viliam Geffert, Ian Shipman	Hyper-minimizing minimized deterministic finite state automata.	ITA	2009	DBLP DOI BibTeX RDF
1	Mihály Biczó, Krisztián Pócza	Generating Functional Implementations of Finite State Automata in C# 3.0.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Israel Mark Martínez-Pérez, Karl-Heinz Zimmermann, Zoya Ignatova	An autonomous DNA model for finite state automata.	IJBRA	2009	DBLP DOI BibTeX RDF
1	Thomas Hanneforth	fsm2 - A Scripting Language Interpreter for Manipulating Weighted Finite-State Automata.	FSMNLP	2009	DBLP DOI BibTeX RDF
1	Jean-François Dupuis, Zhun Fan, Erik D. Goodman	Evolved finite state controller for hybrid system.	GEC Summit	2009	DBLP DOI BibTeX RDF	two-tank system, genetic algorithm, hybrid system, bond graph
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
1	Yefei Zhao, Zongyuan Yang, Jinkui Xie	Formal semantics of UML state diagram and automatic verification based on Kripke structure.	CCECE	2009	DBLP DOI BibTeX RDF
1	Issam Aib, Tung Tran, Raouf Boutaba	Characterization and Solution to a Stateful IDS Evasion.	ICDCS	2009	DBLP DOI BibTeX RDF
1	Louay Bazzi, Mohammad Mahdian, Daniel A. Spielman	The Minimum Distance of Turbo-Like Codes.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
1	Mai Gehrke	Stone Duality and the Recognisable Languages over an Algebra.	CALCO	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	Power of Randomization in Automata on Infinite Strings.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Lin Liu, Jonathan Billington	Recursive Parametric Automata and epsilon-Removal.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF	Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification
1	Tomoyuki Yamakami	The Roles of Advice to One-Tape Linear-Time Turing Machines and Finite Automata (Extended Abstract).	ISAAC	2009	DBLP DOI BibTeX RDF
1	Markus Holzer, Andreas Maletti	An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton.	CIAA	2009	DBLP DOI BibTeX RDF
1	Itay Neeman	Finite state automata and monadic definability of singular cardinals.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Andrei Kelarev	An Algorithm for BCH Codes Extended with Finite State Automata.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Carlos A. Gama, Alexandre Evsukoff, P. Weber, Nelson F. F. Ebecken	Parameter Identification of Recurrent Fuzzy Systems With Fuzzy Finite-State Automata Representation.	IEEE T. Fuzzy Systems	2008	DBLP DOI BibTeX RDF
1	Fred Lunnon	The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings	CSP	2008	DBLP BibTeX RDF
1	Thomas Hanneforth	A Memory-efficient epsilon-Removal Algorithm for Weighted Acyclic Finite-State Automata.	FSMNLP	2008	DBLP DOI BibTeX RDF
1	Peng Jun, Xingyuan Chen, Wu Bei, Dai Xiangdong, Yongliang Wang	Policy Monitoring and a Finite State Automata Model.	CSSE	2008	DBLP DOI BibTeX RDF
1	Galia Angelova, Stoyan Mihov	Finite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations.	ICCS Supplement	2008	DBLP BibTeX RDF
1	Nitin, Durg Singh Chauhan, Vivek Kumar Sehgal, Ankit Mahanot, Pallavi Singh, Sohit Ahuja, Utkarsh Shrivastava, Manisha Rana, Vineet Punjabi, Shivam Vinay, Nakul Sharma	Finite-State Modeling and Testing of Image Based Authentication System.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Image based authentication system, Completed finite state automata, Legal interaction pairs, Faulty interaction pairs, Regular expression
1	Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie	Towards Incorporating Discrete-Event Systems in Secure Software Development.	ARES	2008	DBLP DOI BibTeX RDF	anomaly detection, Software security, discrete-event systems, finite-state automata
1	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
1	Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, Martin Winter	WS-AMUSE - web service architecture for multimedia services.	ICSE	2008	DBLP DOI BibTeX RDF	web services, soa, bpel, vod, voip
1	W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González	On cascades of bilinear systems and generating series of weighted Petri nets.	CDC	2008	DBLP DOI BibTeX RDF
1	Deborah Stoffer, L. Gwenn Volkert	Exploring chaos automata for protein sequences.	CIBCB	2008	DBLP DOI BibTeX RDF
1	Qing E. Wu, GuangZhao Cui	Application of Fuzzy Automata to Fuzzy Signal Processing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Yuxiang Jia, Dezhi Huang, Wu Liu, Shiwen Yu, Haila Wang	Text normalization in mandarin text-to-speech system.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Guoquan Wu, Jun Wei, Tao Huang	Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension.	ICWS	2008	DBLP DOI BibTeX RDF
1	Chenguang Luo	From Word Automata to Tree Automata.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok	Software monitoring with bounded overhead.	IPDPS	2008	DBLP DOI BibTeX RDF
1	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
1	Konstantinos Limniotis, Nicholas Kolokotronis, Nicholas Kalouptsidis	On the Linear Complexity of Sequences Obtained by State Space Generators.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Matthias Rungger, Hao Ding, Olaf Stursberg	Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning.	ABiALS	2008	DBLP DOI BibTeX RDF	hybrid automaton, behavioral programming, artificial intelligence, Reinforcement learning, planning, hierarchical model
1	Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili	On the Reachability Analysis of Acyclic Networks of Pushdown Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Viliam Geffert, Carlo Mereghetti, Beatrice Palano	More Concise Representation of Regular Languages by Automata and Regular Expressions.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	regular expressions, descriptional complexity, Pushdown automata, straight line programs