Keyword : finite state machines

Group-Linking Method: A Unified Benchmark for Machine Learning with Recurrent Neural Network
Tsungnan LIN C. Lee GILES 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/12/01
Vol. E90-A  No. 12 ; pp. 2916-2929
Type of Manuscript:  PAPER
Category: Neural Networks and Bioengineering
Keyword: 
recurrent neural networks, finite state machines, grammatical inference, NARX neural networks, 
 Summary | Full Text:PDF
An lterative Improvement Method for State Minimization of Incompletely Specified Finite State Machines
Hiroyuki HIGUCHI Yusuke MATSUNAGA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/10/25
Vol. E80-D  No. 10 ; pp. 993-1000
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Logic Design
Keyword: 
state minimization, state reduction, finite state machines, binate covering problem, compatible sets, 
 Summary | Full Text:PDF
ASYL-SdF: A Synthesis Tool for Dependability in Controllers
Raphael ROCHET Regis LEVEUGLE Gabriele SAUCIER 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/10/25
Vol. E79-D  No. 10 ; pp. 1382-1388
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: High-Level Synthesis
Keyword: 
synthesis tool, finite state machines, dependability, fault detection, fault tolerance, 
 Summary | Full Text:PDF