|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 1756-1776 / 2528.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2004 | 分散リアルタイムシステムにおけるスケジューリングに関する研究 | 馬場, 久; ばば, ひさし |
| Mar-2004 | CafeOBJ を用いたハイブリッドシステムの形式的な仕様記述と検証 | 山岸, 大悟; やまぎし, だいご |
| Mar-2004 | 共有仮想現実環境内での力覚を伴う協調作業による物体操作システム | 藤井, 大悟; ふじい, だいご |
| Mar-2004 | 代数仕様言語CafeOBJによるセキュリティプロトコルの形式化 | 加藤, 淳; かとう, あつし |
| Mar-2004 | ハイブリットシステムにおけるパラメータ設計 | 石川, 礼; いしかわ, あや |
| Mar-2004 | 雑音環境下における音源分離を認識規範とした音声認識に関する研究 | 羽二生, 篤; はにう, あつし |
| Sep-2003 | Kleene 代数と regular events の代数に関する研究 | 田村, 宜之; たむら, よしゆき |
| Sep-2003 | 共同ソフトウェア開発における開発者の依存関係に関する研究 | 周, 翼; しゅう, よく |
| Sep-2003 | UMLステートチャートに対するモデル検査に関する研究 | 林, 信宏; リン, シンコウ |
| Jun-2003 | Loop言語とGrzegorczyk階層に関する研究 | 江島, 寛之; えじま, ひろゆき |
| Mar-2003 | UMLモデルに対するユーザー定義制約条件の整合性検査に関する研究 | 伊東, 恵輔; いとう, けいすけ |
| Mar-2003 | オンライン手書き文字認識における階層構造辞書への筆順登録に関する研究 | 高田, 洋平; たかだ, ようへい |
| Mar-2003 | 殿堂入りの閾値を持たない効率的な世代別GCの提案と実装 | 大和田, 祥武; おおわだ, よしたけ |
| Mar-2003 | 調音運動を考慮した音声認識法に関する研究 | 飯塚, 陽介; いいづか, ようすけ |
| Mar-2003 | マルチストリーム中間同期化ノードの設計及び実装 | 土屋, 健; つちや, たけし |
| Mar-2003 | 成果物の状態変化とコミュニケーションの関係に着目した ソフトウェアプロセスの記述法 | 高橋, 勉; たかはし, つとむ |
| Mar-2003 | 評価語から構成される主観評価構造：PQSvideoとの対応の検討 －PQSvideoの改善を目指して－ | 道免, 剛; どうめん, たけし |
| Mar-2003 | 量子暗号の安全性に関する研究 | 福田, 明香; ふくだ, さやか |
| Mar-2003 | スピーカーの周波数特性には観測されない音質と関係する物理要因・特性の研究 ～高度感性情報再生に注目した低域周波数特性と時間特性 | 篠田, 亮; しのだ, りょう |
| Mar-2003 | ズーミング技術を用いた全方位画像による仮想ウォークスルー３次元立体視システム | 岡, 尚弥; おか, なおや |
| Mar-2003 | リアルタイムOSにおける優先度を用いた動的スケジューリングの研究 | 栗谷, 一路; くりたに, かずみち |
|
