スポンサーリンク
京都大学大学院工学研究科情報工学専攻 | 論文
- 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)
- 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- Community Viewer:携帯端末を用いたコミュニティ活動の可視化(次世代ヒューマンインタフェース・インタラクション)
- 携帯端末を用いたコミュニティ形成過程の表示: Community Viewer : ICMAS'96 Mobile Assistant Project
- オンデマンド型電力ネットワークの設計と実装(学生セッション,学生セッション,一般)
- みあこネットでの実時間動画像マルチキャスト実験
- みあこネットでの実時間動画像マルチキャスト実験
- データ並列言語における擬似ベクトル処理のための実行方式
- 超並列計算機プロトタイプJUMP-0.5における分散共有メモリ管理手法
- ロボット行動ソフトウェア環境に適した実時間ごみ集め(サイバー増大ページ論文概要,サイバー増大号)
- ネットワークコミュニティにおける関心の類似性に基づいた知識共有の促進(インタラクション技術の革新と実用化)
- Zinger:関心の類似性に基づく会話支援エージェント(「情報メディアとインタフェース」および一般)
- WWWと電子メールを用いた合意形成支援システム
- 実時間探索による経路学習
- 共有メモリ向けプリミティブとそのGCCを使った実現
- データ並列言語におけるベクトルプロセッサ向きコード生成
- 対話システムにおける知識の相違および認識誤りの解消