スポンサーリンク
九州大学大学院システム情報科学府知能システム学専攻 | 論文
- 鉄道信号システムのモデル検査器SPINによる検証
- モデル生成型定理証明手続きによるCTLのモデル検査(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 導出法に基づく定理証明系のJavaによる実現手法について(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 2005年PRMUアルゴリズムコンテスト「侵入物を探せ〜物体領域抽出〜」 : 実施報告と受賞アルゴリズム紹介(一般セッション, 音声による環境認識(チュートリアル講演))
- ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
- Fuce言語HALの設計と実装
- 極小モデル導出法に基づく解集合計算の効率化
- 自己組織化特徴マップに基づいた類似画像検索システムの設計・実装と性能評価
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- 継続モデルによるH/W・S/W協調並列I/O処理モデルの提案
- FUCE上のストリーム処理とその記述言語
- FUCE言語とその処理系について
- KODAMA とVPCによるユビキタス環境のためのフレームワークの構築と評価
- マルチエージェント方式によるセキュアでオープンな情報流通ネットワークの構築(アーキテクチャ(1))
- エージェント・プラットフォームを相互運用するためのメッセージ通信プロトコル
- 眼瞼映像解析による反応時間推定の試み
- 簡易設置可能な運転挙動測定システムの開発
- 眼瞼映像解析による反応時間推定の試み(交通における計測・一般)
- 簡易設置可能な運転挙動測定システムの開発(交通における計測・一般)
- 眼瞼映像解析による反応時間推定の試み(交通における計測・一般)
スポンサーリンク