|
JAIST Repository >
一覧: 日付
検索結果: 1417-1437 / 2074.
発行日 | タイトル |
著者 |
2006 | A Study on Restoration of Bone-Conducted Speech with MTF-Based and LP-Based Models | Thang, Tat Vu; Kimura, Kenji; Unoki, Masashi; Akagi, Masato |
2006 | Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method | Ogata, Kazuhiro; Futatsugi, Kokichi |
2006 | Induction-Guided Falsification | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
Dec-2005 | Efficient Constraint Extraction for Template-Based Processor Self-Test Generation | Kambe, Kazuko; Iwagaki, Tsuyoshi; Inoue, Michiko; Fujiwara, Hideo |
Nov-2005 | Frequency Domain Joint-over-Antenna MIMO Turbo Equalization | Karjalainen, Juha; Kansanen, Kimmo; Veselinovic, Nenad; Matsumoto, Tad |
Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
Sep-2005 | Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fields | Kansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R. |
Aug-2005 | Java Obfuscation - Approaches to Construct Tamper-Resistant Object-Oriented Programs | Sakabe, Yusuke; Soshi, Masakazu; Miyaji, Atsuko |
Aug-2005 | Efficient Group Signature Scheme Based on a Modified Nyberg-Rueppel Signature | Miyaji, Atsuko; Umeda, Kozue |
20-Jul-2005 | Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility | Souissi, Samia; Defago, Xavier; Yamashita, Masafumi |
19-Jul-2005 | A sowing routing protocol for dense mobile ad hoc networks | Cartigny, Julien; Defago, Xavier |
Jul-2005 | Development of an F0 control model based on F0 dynamic characteristics for singing-voice synthesis | Saitou, Takeshi; Unoki, Masashi; Akagi, Masato |
Jul-2005 | 情報セキュリティの標準化動向について : ISO/IEC JTC1/SC27/WG2 2005年4月ウィーン会議報告 | 宮地, 充子; 近澤, 武; 竜田, 敏男; 大塚, 玲; 安田, 幹; MIYAJI, Atsuko; CHIKAZAWA, Takeshi; TATSUTA, Toshio; OTSUKA, Akira; YASUDA, Kan |
1-Jun-2005 | Turbo Transceivers in MIMO Wireless Communications and Their Performance Verification via Multi-Dimensional Channel Sounding | MATSUMOTO, Tadashi; THOMA , Reiner S. |
Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
1-May-2005 | A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots | CHIBA, Eishi; HIRAISHI, Kunihiko |
1-May-2005 | Inkdot versus Pebble over Two-Dimensional Languages | INOUE, Atsuyuki; ITO, Akira; HIRAISHI, Kunihiko; INOUE, Katsushi |
May-2005 | Multilevel-Coded QAM With MIMO Turbo-Equalization in Broadband Single-Carrier Signaling | Kansanen, Kimmo; Schneider, Christian; Matsumoto, Tadashi; Thoma, Reiner |
May-2005 | 決定木に基づく対話行為のタグ付け支援 | 白井, 清昭; 洪, 陽杓; SHIRAI, Kiyoaki; KO, Yoshaku |
15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
5-Apr-2005 | A lazy routing protocol for large-scale mobile ad hoc networks | Cartigny, Julien; Defago, Xavier |
|