スポンサーリンク
九州大学大学院システム情報科学研究科知能システム学専攻 | 論文
- 有限区間制約を付加したモデル生成型定理証明系とその応用(次世代移動通信ネットワークとその応用)
- ダイアグラムに基づく法的論争支援システム
- 極小モデル導出法に基づく解集合計算の効率化
- モデル生成型定理証明システムによる制約充足問題の解決とその並列化
- グラフデータからの知識発見システムKD-FGSについて
- FUCE上のストリーム処理とその記述言語
- FUCE言語とその処理系について
- GA-MGTPによる Condensed Detachment問題の解法
- 抽象モデル生成による不要節の削除(人工知能,認知科学)
- 金融工学数学のためのグラフィクス教材データベース : Bond Mathematics by Graphics
- 金融工学の数学のための知識データベース構築の提案
- 金融工学の数学のための知識データベース構築の提案
- Twitterにおける流行語先取り発言者の検出システムの開発
- Twitterにおける流行語先取り発言者の検出システムの開発
- ソーシャルブックマークにおける有用なユーザの発見
- マルチメディア4次元データベースにおける空間質問処理モジュールの設計
- マルチメディア4次元データベースの空間データモデルの設計
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)