1993 - Formal verification method for digital circuits design
全件表示
論文 (3件):
N Funaibiki, J Kitamichi. A gradual neural network algorithm for broadcast scheduling problems in packet radio networks. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES. 1999. E82A. 5. 815-824
N. Funabiki, J. Kitamichi. Three-stage greedy and neural-network approach for subgraph isomorphism problem. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 1998. 2. 1892-1897
N. Funabiki, J. Kitamichi, S. Nishikawa. An evolutionary neural network algorithm for max cut problems. IEEE International Conference on Neural Networks - Conference Proceedings. 1997. 2. 1260-1265
MISC (14件):
Kazunori Nemoto, Junji Kitamichi. Improvement of Accuracy and Processing Speed of a Maximum Neural Network Algorithm for a Channel Assignment Problem. 2010 International Symposium on Nonlinear Theory and its Applications(NOLTA2010). 2010