|
|
JAIST Repository >
一覧: 日付
検索結果: 432-452 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 23-May-2016 | Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System | Aoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji |
| 22-May-2016 | Security and Experimental Performance Analysis of a Matrix ORAM | Gordon, Steven; Miyaji, Atsuko; Su, Chunhua; Sumongkaoythin, Karin |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| 16-May-2016 | Fast Radiation Mapping and Unknown Multiple Sources Localization using Topographic Contour Map and Incremental Density Estimation | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; LEE, Hosun; Ryu, Hyejeong; Chong, Nak Young; Mason, Matthew T. |
| 7-May-2016 | Accurate Estimation of the Full Differential Distribution for General Feistel Structures | Chen, Jiageng; Miyiaji, Atsuko; Su, Chunhua; The, Je Sen |
| 29-Mar-2016 | Shortest Reconfiguration of Sliding Tokens on a Caterpillar | Yamada, Takeshi; Uehara, Ryuhei |
| 22-Mar-2016 | Balanced cooperative linear data exchange with physical layer network coding | Lin, Nyan; Kurkoski, Brian Michael; Tan, Yasuo; Lim, Yuto |
| 20-Mar-2016 | Identifying an Agent's Preferences Toward Similarity Measures in Description Logics | Racharak, Teeradaj; Suntisrivaraporn, Boontawee; Tojo, Satoshi |
| 1-Mar-2016 | rERA: An optimization algorithm of task dependency graph for scheduling | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
| 1-Mar-2016 | Network coding scheme based on selection of number input packets in X-topology network | Ngeth, Rithea; Lin, Nyan; Tan, Yasuo; Lim, Yuto |
| 1-Mar-2016 | コンピュータ指導碁のための悪手解説 | 山中, 翠; ビエノ, シモン; 池田, 心 |
| 1-Mar-2016 | 麻雀における相手の和了点数予測法の性能評価 | 萩原, 涼太; 山田, 渉央; 佐藤, 直之; 池田, 心 |
| Mar-2016 | A study on applying target prediction model to parameterize power envelope of emotional speech | Xue, Yawen; Akagi, Masato |
| Mar-2016 | Automatic Speech Emotion Recognition in Chinese Using a Three-layered Model in Dimensional Approach | Li, Xingfeng; Akagi, Masato |
| Mar-2016 | A study on quality improvement of HMM-based synthesized voices using asymmetric bilinear model | Dinh-Anh, Tuan; Morikawa, Daisuke; Akagi, Masato |
| 23-Feb-2016 | Polynomial-time algorithms for Subgraph Isomorphism in small graph classes of perfect graphs | Konagaya, Matsuo; Otachi, Yota; Uehara, Ryuhei |
| 3-Feb-2016 | Long-term Knowledge Acquisition Using Contextual Information in a Memory-inspired Robot Architecture | Pratama, Ferdian; Mastrogiovanni, Fulvio; Lee, Soon Geul; Chong, Nak Young |
| Feb-2016 | Common Unfolding of Regular Tetrahedron and Johnson-Zalgaller Solid | Araki, Yoshiaki; Horiyama, Takashi; Uehara, Ryuhei |
| Feb-2016 | Joint Source-Channel Decoding for LDPC-coded Error-Corrupted Binary Markov Sources | Zribi, Amin; Matsumoto, Tad; Pyndiah, Ramesh |
| Jan-2016 | A polynomial-time approximation scheme for the geometric unique coverage problem on unit squares | Ito, Takehiro; Nakano, Shin-ichi; Okamoto, Yoshio; Otachi, Yota; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi |
| Jan-2016 | A study on transvelar coupling for non-nasalized sounds | Dang, Jianwu; Wei, Jianguo; Honda, Kiyoshi; Nakai, Takayoshi |
|
