|
|
JAIST Repository >
一覧: 日付
検索結果: 12721-12741 / 18634.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2006 | 離散時間論理LinDiscの完全性の証明をめぐって | 米森, 裕典; よねもり, ひろのり |
| Mar-2006 | ソフトウェアパターンに基づく体系的設計・検証手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2006 | FPGAを利用したコンテンツフィンガープリンティングの高速化に関する研究 | 礒永, 久史; いそなが, ひさし |
| Mar-2006 | JAPANESE - ENGLISH - SPANISH DICTIONARY AND GRAMMAR FOR POCKET PC | フィゲロア松本カルロス健司; フィゲロア マツモト カルロス ケンジ |
| Mar-2006 | 時間情報に基づいたキャッシュの置換方式に関する研究 | 塩安, 麻人; しおやす, あさひと |
| Mar-2006 | モンテカルロ光線追跡法を利用した並列レンダリングに関する研究 | 清水, 昭尋; しみず, あきひろ |
| Mar-2006 | データ圧縮を用いたキャッシュメモリの消費電力削減に関する研究 | 松田, 愛子; まつだ, あいこ |
| Mar-2006 | 法令文の論理式への変換 -原子文について- | 北田, 安希雄; きただ, あきお |
| Mar-2006 | 未定義語義を含む語義曖昧性解消 | 菊田, 篤史; きくた, あつし |
| Mar-2006 | タスクスケジューリング情報を利用するDVSアルゴリズムに関する研究 | 今井, 聡; いまい, あきら |
| Mar-2006 | 多段インフレータブルフレームを有する姿勢制御ユニットの開発 | 朝比奈, 啓博; あさひな, あきひろ |
| Mar-2006 | Type-directed Compilation of ML Supporting Interoperable Memory Management System | Huu-Duc, Nguyen |
| Mar-2006 | 観察対象への適応性的異常型侵入検査：モデル化、分析及び評価 | 張, 宗華; チヤン, ツンフア |
| Mar-2006 | 計算幾何的手法を用いた指紋画像解析 | 梁, 雪峰; リヤン, シユ フン |
| Mar-2006 | 歌声知覚・生成機構の解明に向けた歌声合成システム構築に関する研究 | 齋藤, 毅; さいとう, たけし |
| Mar-2006 | Hierarchical Interconnection Networks for Massively Parallel Computers | M., M., Hafizur Rahman |
| Mar-2006 | Analysis of Behaviors of Mobile Agents in Agent-Based Network Applications | Wenyu, Qu |
| Mar-2006 | 複雑な形状を有する声道の音響特性に関する研究 | 西本, 博則; にしもと, ひろのり |
| Mar-2006 | 3値による公開鍵暗号ハードウェアの研究 | 白勢, 政明; しらせ, まさあき |
| Mar-2006 | 定理証明器HOLにおけるオブジェクト指向理論の構築 | 矢竹, 健朗; やたけ, けんろう |
| Mar-2006 | Noise Reduction Based on Microphone Array and Post-filtering for Robust Hands-free Speech Recognition in Adverse Environments | 李, 軍鋒; リ, ジンフン |
|
