|
|
JAIST Repository >
検索結果
検索結果表示: 981-990 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 22-Jun-2012 | Structural Similarity Based on Time-span Tree | Tojo, Satoshi; Hirata, Keiji |
| Jul-2014 | Automated Complexity Analysis Based on Context-Sensitive Rewriting | Hirokawa, Nao; Moser, Georg |
| 15-Mar-1996 | Shifted Recursive Torus interconnection network for massively parallel computers | Inoguchi, Yasushi; Horiguchi, Susumu |
| 11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
| 10-Feb-2010 | Automatic Generation of Model Checking Scripts based on Environment Modeling | Yatake, Kenro; Nishibata, Hirokazu; Aoki, Toshiaki |
| 6-Oct-2003 | Implementaion and Performance Analysis of the φ-Failure Detector | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
| 2-Jun-2018 | 音声伝送指標を利用した音声プライバシー保護 | 鵜木, 祐史; Unoki, Masashi |
| Mar-1999 | Cooperative Signal Reception and Down-Link Beam Forming in Cellular Mobile Communications | Asakura, Hiromitsu; Matsumoto, Tadashi |
| Mar-1991 | BER Analysis of Convolution Coded QDPSK in Digital Mobile Radio | Matsumoto, Tadashi; Adachi, Fumiyuki |
| 2015 | Communication packet loss concealment for pattern generation with robotic swarms | Shinnoh, Atsushi; Chong, Nak Young; Lee, Geunho |
前へ
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
次へ
|
