|
JAIST Repository >
一覧: 日付
検索結果: 1256-1276 / 2073.
発行日 | タイトル |
著者 |
1-Apr-2008 | 没入型3次元VR体感システムCAVEにおける現在位置表示モジュールおよび簡易色指定モジュールを用いた可視化デモンストレーションマニュアル | 林, 亮子; ハヤシ, リョウコ |
1-Apr-2008 | Novel Register Sharing in Datapath for Structural Robustness against Delay Variation | INOUE, Keisuke; KANEKO, Mineo; IWAGAKI, Tsuyoshi |
Apr-2008 | Protection and Recovery of Disk Encryption Key Using Smart Cards | Omote, Kazumasa; Kato, Kazuhiko |
Apr-2008 | Nonlinear Frequency Domain MMSE Turbo Equalization using Probabilistic Data Association | Grossmann, M.; Matsumoto, T. |
14-Feb-2008 | Lambdoid emergence | Vestergaard, Rene; Senachak, Jittisak; Vestergaard, Mun'delanji |
1-Feb-2008 | Longest Path Problems on Ptolemaic Graphs | TAKAHARA, Yoshihiro; TERAMOTO, Sachio; UEHARA, Ryuhei |
Feb-2008 | A Generalization of Magic Squares with Applications to Digital Halftoning | Aronov, Boris; Asano, Tetsuo; Kikuchi, Yosuke; Nandy, Subhas C.; Sasahara, Shinji; Uno, Takeaki |
15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
14-Jan-2008 | Bifurcations and chaos in register transitions of excised larynx experiments | Tokuda, Isao T.; Horáček, Jaromir; Švec, Jan G.; Herzel, Hanspete |
Jan-2008 | Estimation of fundamental frequency of reverberant speech by utilizing complex cepstrum analysis | Unoki, Masashi; Hosorogiya, Toshihiro |
2008 | Springer Handbook of Robotics: Networked Telerobots | Song, Dezhen; Goldberg, Kenneth; Chong, Nak Young |
2008 | Automated Complexity Analysis Based on the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
2008 | Complexity, Graphs, and the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
2008 | Uncurrying for Termination | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
2008 | The Game of Synchronized Triomineering and Synchronized Tridomineering | Cincotti, Alessandro; Komori, Shigetaka; Iida, Hiroyuki |
2008 | Modeling Urgency in Component-Based Real-Time Systems | Nguyen, Van Tang; Hung, Dang Van; Ogawa, Mizuhito |
2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | Li, Guoqiang; Ogawa, Mizuhito |
2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
2008 | Towards Translation of Legal Sentences into Logical Forms | Nakamura, Makoto; Nobuoka, Shunsuke; Shimazu, Akira |
2008 | Comparative evaluation of modulation-transfer-function-based blind restoration of sub-band power envelopes of speech as a front-end processor for automatic speech recognition systems | Lu, Xugang; Unoki, Masashi; Akagi, Masato |
15-Dec-2007 | 法的推論のための論理型イベント言語 | 兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
|