|
JAIST Repository >
一覧: 日付
検索結果: 1054-1074 / 2071.
発行日 | タイトル |
著者 |
Jul-2010 | Design and Control of JAIST Active Robotic Walker | Lee, Geunho; Ohnuma, Takanori; Chong, Nak Young |
21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; Ogawa, Mizuhito |
10-Jun-2010 | 無線ヘテロジニアスネットワークにおける非対称マルチキャスト通信の提案と実証実験 | LIM, Azman Osman; リム, アズマン・オスマン |
2-Jun-2010 | Two-stage binaural speech enhancement with Wiener filter for high-quality speech communication | Li, Junfeng; Sakamoto, Shuichi; Hongo, Satoshi; Akagi, Masato; Suzuki, Yôiti |
1-Jun-2010 | New Analysis Based on Correlations of RC4 PRGA with Nonzero-Bit Differences | MIYAJI, Atsuko; SUKEGAWA, Masahiro |
Jun-2010 | A concurrent power supply and data transmission protocol for 2D communication sensor system | Lim, Azman Osman; Oota, Toshifumi; Kado, Youiti; Shirazi, Mehdad N.; Zhang, Bing |
29-May-2010 | Kaboozle Is NP-complete, Even in a Strip | Asano, Tetsuo; Demaine, Erik; Demaine, Martin; Uehara, Ryuhei |
29-May-2010 | Do We Need a Stack to Erase a Component in a Binary Image? | Asano, Tetsuo |
29-May-2010 | 構成的数学における逆数学の研究 | 石原, 哉; ISHIHARA, HAJIME |
26-May-2010 | 項書き換えに基づく計算量解析の自動化 | 廣川, 直; HIROKAWA, NAO |
16-May-2010 | The cost of probabilistic agreement in oblivious robot networks | Clement, Julien; Defago, Xavier; Potop-Butucaru, Maria Gradinariu; Izumi, Taisuke; Messika, Stephane |
7-May-2010 | Efficient dynamic bipedal walking using effects of semicircular feet | Asano, Fumihiko; Luo, Zhi-Wei |
1-May-2010 | Practical and Secure Recovery of Disk Encryption Key Using Smart Cards | OMOTE, Kazumasa; KATO, Kazuhiko |
1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
May-2010 | Chained Turbo Equalization for Block Transmission without Guard Interval | Anwar, Khoirul; Zhou, Hui; Matsumoto, Tad |
May-2010 | Treatment of Legal Sentences Including Itemization Written in Japanese, English and Vietnamese —Towards Translation into Logical Forms— | Nakamura, Makoto; Kimura, Yusuke; Nhat Pham, Minh Quang; Nguyen, Minh Le; Shimazu, Akira |
20-Apr-2010 | Modeling of Real-Time System Designs for Parametric Analysis | Chaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya |
16-Apr-2010 | Scale free properties of random k-trees | Cooper, Colin; Uehara, Ryuhei |
10-Apr-2010 | 名人を超えるコンピュータ将棋 | 飯田, 弘之; IIDA, HIROYUKI |
10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
7-Apr-2010 | Emulation framework for the design and development of active RFID tag systems | Beuran, Razvan; Nakata, Junya; Kawakami, Tetsuya; Okada, Takashi; Chinen, Ken-ichi; Tan, Yasuo; Shinoda, Yoichi |
|