Search the dblp DataBase

Publications of Author

1. Kazuhiro Nakamura, Satoshi Yamane
   Formal Verification of Real-Time Software by Symbolic Model-Checker. [Citation Graph (0, 0)][DBLP]
   ACSD, 1998, pp:99-108 [Conf]
   
2. Kazuhiro Nakamura, Shinji Maruoka, Shinji Kimura, Katsumasa Watanabe
   Multi-clock path analysis using propositional satisfiability. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2000, pp:81-86 [Conf]
   
3. Kazuhiro Nakamura, Qiang Zhu, Shinji Maruoka, Takashi Horiyama, Shinji Kimura, Katsumasa Watanabe
   A real-time 64-monosyllable recognition LSI with learning mechanism. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2001, pp:31-32 [Conf]
   
4. Kazuhiro Nakamura, Qiang Zhu, Shinji Maruoka, Takashi Horiyama, Shinji Kimura, Katsumasa Watanabe
   Speech recognition chip for monosyllables. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2001, pp:396-399 [Conf]
   
5. Kazuhiro Nakamura, Kazuyoshi Takagi, Shinji Kimura, Katsumasa Watanabe
   Waiting false path analysis of sequential logic circuits for performance optimization. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1998, pp:392-395 [Conf]
   
6. Satoshi Yamane, Kazuhiro Nakamura
   Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   TACS, 1997, pp:562-582 [Conf]
   
7. Kazuhiro Nakamura, Yoshiyuki Aono, Yoshiaki Tadokoro
   A walking navigation system for the blind. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 1997, v:28, n:13, pp:36-45 [Journal]
   
8. Satoshi Yamane, Kazuhiro Nakamura
   Development and evaluation of symbolic model checker based on approximation for real-time systems. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2004, v:35, n:10, pp:83-101 [Journal]
   
9. 
   Fast and memory efficient VLSI architecture for output probability computations of HMM-based recognition systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Scale-Free Property of Directed Networks with Two Intrinsic Node Weights. [Citation Graph (, )][DBLP]
    
    
11. 
    Acoustic modeling with contextual additive structure for HMM-based speech recognition. [Citation Graph (, )][DBLP]