|
|
JAIST Repository >
一覧: 日付
検索結果: 10615-10635 / 19040.
| 発行日 | タイトル |
著者 |
|---|
| 12-Mar-2009 | KBO Orientability | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| 12-Mar-2009 | A Verification Framework for Automotive Embedded Systems | KATO, Norio |
| 12-Mar-2009 | A Scalable Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin |
| 12-Mar-2009 | On Agda | Kinoshita, Yoshiki; Yamagata, Yoriyuki |
| 12-Mar-2009 | Modeling, Specification, and Verification of QLOCK in CafeOBJ | FUTATSUGI, Kokichi |
| 7-Mar-2009 | A geometric approach to deploying robot swarms | Lee, Geunho; Chong, Nak Young |
| 6-Mar-2009 | Asymptotically stable biped gait generation based on stability principle of rimless wheel | Asano, Fumihiko; Luo, Zhi-Wei |
| 1-Mar-2009 | Effects from Spatial Cues on Detectability of Alarm Signals in Car Environments | Kuroda, Naoki; Li, Junfeng; Iwaya, Yukio; Unoki, Masashi; Akagi, Masato |
| 1-Mar-2009 | An MTF-based Blind Restoration Method for Improving Intelligibility of Bone-conducted Speech | Kinugasa, Kota; Unoki, Masashi; Akagi, Masato |
| 1-Mar-2009 | An emotional speech recognition system based on multi-layer emotional speech perception model | Aoki, Yuusuke; Huang, Chun-Fang; Akagi, Masato |
| 1-Mar-2009 | A study on nonlinguistic features in singing and speaking voices by brain activity measurement | Nakamura, Tomohiko; Kitamura, Tatsuya; Akagi, Masato |
| Mar-2009 | 観光地域ガバナンスにおける関係性モデルと中間システムの分析 : 北海道浜中町・霧多布湿原トラストの事例から | 敷田, 麻実; 木野, 聡子; 森重, 昌之; SHIKIDA, Asami; KINO, Akiko; MORISHIGE, Masayuki |
| Mar-2009 | 金沢箔の変遷 : 断切技術出現過程を中心とした予備的考察 | 加藤, 明 |
| Mar-2009 | Minimum Nomic : a tool for studying rule dynamics | Hatakeyama, Masaomi; Hashimoto, Takashi |
| Mar-2009 | Designing an algorithm for swarm behavior using the concept of Umwelt | Fujisawa, Ryusuke; Hashimoto, Takashi |
| Mar-2009 | A Secure RFID Authentication Protocol with Low Communication Cost | Rahman, Mohammad Shahriar; Soshi, Masakazu; Miyaji, Atsuko |
| Mar-2009 | A Certificate Revocable Anonymous Authentication Scheme with Designated Verifier | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| Mar-2009 | A Dynamic Attribute-Based Group Signature Scheme and its Application in an Anonymous Survey for the Collection of Attribute Statistics | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| Mar-2009 | On the derivation of a minimum test set in high quality transition testing | Iwagaki, Tsuyoshi; Kaneko, Mineo |
| Mar-2009 | ポジショニング・マップで市場を考える | |
| Mar-2009 | 伝統工芸イノベータを養成する２ | |
|
