|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 375-395 / 515.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2005 | フィーチャー指向ソフトウェアにおける増分的一貫性検証 | Nguyen, Truong Thang; グェン, チュオン ターン |
| Sep-2005 | 様相論理における不完全性への代数的アプロ－チ | Tadeusz, Litak; タデウシュ, リタク |
| Sep-2005 | Optimal Methods for Coordinated En-Route Web Caching | Keqiu, Li |
| Sep-2005 | 要求工学におけるFTAとフォーマルメソッド | 向, 剣文; しゃん, じぇんぶん |
| Mar-2005 | 擬人化音声対話エージェントシステムの構成法に関する研究 | 川本, 真一; かわもと, しんいち |
| Mar-2005 | 手書き文字の崩れ方に重点を置いたオンライン文字認識手法に関する研究 | 徳野, 淳子; とくの, じゅんこ |
| Mar-2005 | 格子ボルツマン法の多成分拡張に関する研究 | 廣川, 雄一; ひろかわ, ゆういち |
| Mar-2005 | 多地点遠隔会議における自然なコミュニケーションの実現に関する研究 | 小峯, 隆宏; こみね, たかひろ |
| Mar-2005 | アスペクト指向的なモジュール記述を可能とする仕様記述言語 | 山田, 聖; やまだ, きよし |
| Mar-2005 | 光技術を用いた位置に基づく情報処理技術に関する研究 | 伊藤, 日出男; いとう, ひでお |
| Sep-2004 | テキスト自動要約翻訳の統計的機械学習アプローチに関する研究 | Minh, Le Nguyen |
| Sep-2004 | 剰余束の半単純性，融合性，有限埋め込み性 | 高村, 博紀; たかむら, ひろき |
| Sep-2004 | データ抽象化に於ける仕様とプログラムとの対応に関する論理的アプローチの研究 | 金藤, 栄孝; こんどう, ひでたか |
| Sep-2004 | 大規模ニューラルネットワークのハードウェアアーキテクチャに関する研究 | 菅原, 英子; すがわら, えいこ |
| Jun-2004 | プロジェクトの公開データを用いたオープンソースソフトウェア開発への参加支援 | 藤田, 充典; ふじた, みつのり |
| Jun-2004 | 様相論理および時間論理の証明図探索 | 松本, 利雅; まつもと, としまさ |
| Jun-2004 | 漸増型故障検出器 | 林原, 尚浩; はやしばら, なおひろ |
| Jun-2004 | 並行オブジェクトから並行スレッドへの変換法 | 岡崎, 光隆; おかざき, みつたか |
| Mar-2004 | 計算幾何学的手法を用いたクラスタードット型ハーフトーニングの最適化に関する研究 | 笹原, 慎司; ささはら, しんじ |
| Mar-2004 | 電子商取引の高セキュリティ化に関する研究 | 田村, 裕子; たむら, ゆうこ |
| Mar-2004 | 時間情報と周波数情報を用いた雑音環境における基本周波数推定に関する研究 | 石本, 祐一; いしもと, ゆういち |
|
