|
JAIST Repository >
一覧: 日付
検索結果: 17054-17074 / 18591.
発行日 | タイトル |
著者 |
Mar-1999 | 時間性を表現する含意を持つ論理 | 菊池, 健太郎; きくち, けんたろう |
Mar-1999 | 鍵の無効化を考慮に入れたIDに基づく鍵配送方式の研究 | 岡本, 健; おかもと, たけし |
Mar-1999 | 信頼性の高い移動エージェントシステムの構成方法 | 新堀, 健治; しんぼり, けんじ |
Mar-1999 | 動的コード生成を用いた適応的移動コードに関する研究 | 川崎, 大輔; かわさき, だいすけ |
Mar-1999 | 物理およびオートマトンの実験における Operational Logics の代数的構造 | 勝島, 尚之; かつしま, なおゆき |
Mar-1999 | エルモア遅延モデルに基づく最大信号伝播遅延最小化スタイナー配線 | 門地, 忠夫; かどぢ, ただお |
Mar-1999 | イベントベースアーキテクチャにおける事象モニタリング機構 | 柏瀬, 秀行; かしわせ, ひでゆき |
Mar-1999 | CafeOBJからJavaへの変換と同期記述 | 兼, 英樹; かね, ひでき |
Mar-1999 | モーバイルネットワークプロトコルにおけるハンドオフ処理の最適化に関する研究 | 石橋, 賢二; いしばし, けんじ |
Mar-1999 | 長さの異なる要約の自動生成 | 伊良波, 隆; いらは, たかし |
Mar-1999 | フロー外挿予測を用いた遮蔽、発生領域におけるオプティカルフロー推定 | 今村, 弘樹; いまむら, ひろき |
Mar-1999 | ポテンシャル場を用いた関節ロボットの位置決め制御に関する研究 | 田中, 宏和; たなか, ひろかず |
Mar-1999 | 構造的な不確かさを考慮した磁気軸受のロバスト性解析・設計に関する研究 | 堀川, 徳二郎; ほりかわ, とくじろう |
Mar-1999 | Study on New E-cash Systems | 広橋, 浩司; ひろはし, こうじ |
Mar-1999 | 決定木学習を応用した日本語要約文の自動作成 | 原口, 良胤; はらぐち, よしつぐ |
Mar-1999 | 格子ボルツマン法による並列アルゴリズムの開発 | 羽生, 匡之; はにゅう, まさゆき |
Mar-1999 | オブジェクト指向方法論のための検証フレームワークに関する研究 | 花田, 真樹; はなだ, まさき |
Mar-1999 | 巨視的・微視的構造に基づく花のフォトリアルなコンピュータグラフィックス生成に関する研究 | 寺戸, 育夫; てらど, いくお |
Mar-1999 | CIP法による非定常管内流れの並列計算 | 荒木, 宏之; あらき, ひろゆき |
Mar-1999 | 会議情報の自動編集システムの作成 | 新井, 誠亮; あらい, せいすけ |
Mar-1999 | 幾何学定理自動証明における問題記述の簡略化 | 木村, 敦夫; きむら, あつお |
|