The SCEAS System
Navigation Menu

Search the dblp DataBase


Kazuhiro Nakamura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002