|
|
JAIST Repository >
一覧: 日付
検索結果: 16452-16472 / 18997.
| 発行日 | タイトル |
著者 |
| Mar-2001 | 振舞仕様によるUMLの意味解析に関する研究 | 宗像, 一樹; むなかた, かずき |
| Mar-2001 | 否定的意味が内在するソートを含む非単調推論の研究 | 水野, 幸喜; みずの, こうき |
| Mar-2001 | モバイルエージェントを用いた情報共有システムの設計と構築 | 小林, 一樹; こばやし, かずしげ |
| Mar-2001 | ステージ分割によるウェーブパイプライン方式の最適化の研究 | 福家, 和久; ふけ, かづひさ |
| Mar-2001 | ソースコードの依存解析と視覚化手法に関する研究 | 横山, 浩一; よこやま, こういち |
| Mar-2001 | 非圧縮粘性流への精度保証付きソルバ | 熊畑, 清; くまはた, きよし |
| Mar-2001 | マルチエージェント系における集団的戦略変更に関する研究 | 吉田, 憲世; よしだ, けんせい |
| Mar-2001 | レシピ文入力からの3DCG調理画像生成システムの開発 | 植松, 秀樹; うえまつ, ひでき |
| Mar-2001 | 複数のビデオストリームを用いた遠隔教育システムに関する研究 | 登, 弘聡; のぼり, ひろあき |
| Mar-2001 | 部品の配置と通信路に着目した分散システムの形式仕様による文書化 | 宮田, 勇人; みやた, はやと |
| Mar-2001 | ペトリネットの発火系列問題についての研究 | 田中, 博英; たなか, ひろひで |
| Mar-2001 | ユースケースモデルに基づく動的モデル作成支援環境に関する研究 | 山崎, 英和; やまさき, ひでかず |
| Mar-2001 | 移動エージェントシステムにおける例外処理の体系化に関する研究 | 小林, 史陽; こばやし, ふみあき |
| Mar-2001 | Kalman filterによる内挿を用いた音声補間に関する研究 | 五十嵐, 文輔; いからし, ふみやす |
| Mar-2001 | 動的解析に適したインタプリタに関する研究 | 蔡, 遠航; さい, えんこう |
| Mar-2001 | 複数記事要約のためのサマリパッセージの抽出 | 橋本, 力; はしもと, ちから |
| Mar-2001 | エージェント技術を利用した匿名通信に関する研究 | 北澤, 繁樹; きたざわ, しげき |
| Mar-2001 | 述語階層, イベント性および内在的否定を導入した順序ソート論理 | 兼岩, 憲; かねいわ, けん |
| Mar-2001 | 個性を考慮した情緒あるピアノ曲の自動演奏に関する研究 | 星芝, 貴行; ほししば, たかゆき |
| Mar-2001 | 様相論理に対する代数とフレーム | 橋本, 安司; はしもと, やすし |
| Mar-2001 | 再利用可能な拡張機構を備えた言語処理系 | 佐伯, 豊; さえき, ゆたか |
|