|
Search the dblp DataBase
Ken-ichi Arai:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ken-ichi Arai, Ryohei Nakano
Annealed RNN Learning of Finite State Automata. [Citation Graph (0, 0)][DBLP] ICANN, 1996, pp:519-524 [Conf]
- Ken-ichi Arai, Ryohei Nakano
Stable behavior in a recurrent neural network for a finite state machine. [Citation Graph (0, 0)][DBLP] Neural Networks, 2000, v:13, n:6, pp:667-680 [Journal]
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. [Citation Graph (, )][DBLP]
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|