F-028 MaxSATの一拡張について(学習・最適化,F分野:人工知能・ゲーム)

スポンサーリンク

概要

• 論文の詳細を見る
• FIT(電子情報通信学会・情報処理学会)運営委員会の論文
• 2012-09-04

著者

• 藤田 博

  九州大学大学院システム情報科学研究科

• 長谷川 隆三

  Kyushu University

• 藤田 博

  九州大学

• 長谷川 隆三

  九州大学

• 越村 三幸

  九州大学

• 廖 暁鵑

  九州大学

関連論文

• 帰納論理プログラミングを用いたブログからのルール抽出 (「Web情報処理」および一般発表)
• モデル列挙とモデル計数(最近のSAT技術の発展)
• ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
• 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
• 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
• F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
• モデル生成型定理証明と要素技術(論理と推論技術の展開)
• Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
• 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)
• 6S-9 ユーザーのスケジュールを用いたWebページ推薦(ユーザ指向・推薦,学生セッション,データベースとメディア)
• D-008 相関ルールに基づく文書検索システム(D分野:データベース)
• スケジュールに基づくWebページ推薦に用いる検索単語の選定(WEBサービス,特集「Web情報処理」及び一般)
• スケジュールに基づく Web ページ推薦に用いる検索単語の選定
• FPGA上のSATソルバPCMGTPへの前処理の導入
• D_024 ユーザの意思を反映したWeb検索の効率化(D分野:データベース)
• C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
• Web検索におけるスケジュール情報の利用 (「Web情報処理」および一般発表)
• スケジュールに基づくWebページ推薦に用いる検索単語の選定 (テーマ:「Web情報処理」および一般発表)
• WEB検索におけるキーワード関連語提案システム
• B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
• 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• ダイアグラムに基づく法的論争支援システム
• FUCE上のストリーム処理とその記述言語
• FUCE言語とその処理系について
• GA-MGTPによる Condensed Detachment問題の解法
• 抽象モデル生成による不要節の削除(人工知能,認知科学)
• Twitterにおける流行語先取り発言者の検出システムの開発
• Twitterにおける流行語先取り発言者の検出システムの開発
• ソーシャルブックマークにおける有用なユーザの発見
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
• ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
• 5S-4 Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発(情報推薦(2),学生セッション,データベースとメディア,情報処理学会創立50周年記念)
• 帰納法に基づく定理証明器によるシストリックアレイの検証
• 帰納法に基づく定理証明器によるシストリックアレイの検証
• NQTHMを用いたシストリックアレイの検証
• Partial Max-SATソルバーQMaxSATの評価 (特集 「AIの基本問題SATと応用技術」および一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決
• F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
• F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
• D-033 データ解析における並列分散処理基盤Hadoopの利用(D分野:データベース,一般論文)
• 1W-9 モデル生成によるSATソルバの並列化(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 5R-2 ODPを利用した個人化検索システムの比較と効率化(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
• 3C-2 動詞の提示による動的な検索支援システム(Web検索支援,一般セッション,データベースとメディア,情報処理学会創立50周年記念)
• 一般化補題を利用したモデル生成法
• 抽象モデルを利用したSAT問題の前処理(「自動化:推論,発見,学習,データマイニング」及び一般)
• FPGA上のSATソルバPCMGTPの改良について
• Solving Open Job-Shop Scheduling Problems by SAT Encoding
• 帰納論理プログラミングを用いた棋譜からのルール抽出
• モデル生成型定理証明と要素技術 (特集「人工知能における論理の新たな展開」) -- (パネルディスカッション:人工知能における論理の新たな展開)
• Twitterのリスト機能を用いたユーザの特徴抽出
• Twitter発言の時系列解析に基づくハッシュタグの内容説明
• Wikipediaの時系列アクセス数に着目した関連度算出
• DPLL型SATソルバを用いた極小モデル生成について
• JavaによるSATソルバHerrsatの実装と学習節の削減法について
• 定理証明系PCMGTPのFPGA上の実装について
• モデル生成型定理証明器のFPGA上の実装(FPGAとその応用及び一般)
• モデル生成型定理証明器のFPGA上の実装(FPGAとその応用及び一般)
• モデル生成型定理証明器のFPGA上の実装(FPGAとその応用及び一般)
• 畳込みと分岐補題を統合したモデル生成
• ユーザに特化した情報収集エージェントの作成
• 帰納論理プログラミングを用いたTwitterからのルール抽出 (人工知能と知識処理)
• 帰納論理プログラミングを用いたTwitterからのルール抽出(「コンテキストを意識した知識の利用」及び一般)
• SAT/Max-SAT競技会参加記
• 帰納論理プログラミングを用いた Twitter からのルール抽出
• Feature and Sentiment Based Opinion Mining and Summarizing on Twitter
• Feature and Sentiment Based Opinion Mining and Summarizing on Twitter
• F-028 MaxSATの一拡張について(学習・最適化,F分野:人工知能・ゲーム)
• A-002 帰納論理プログラミングを用いた化学反応からのルール抽出(数理モデル化と問題解決(1),A分野:モデル・アルゴリズム・プログラミング)
• A-012 帰納論理プログラミングを用いた高分子の組成と物性との関係に関する考察(数理モデル(1),A分野:モデル・アルゴリズム・プログラミング)
• Twitterの時系列解析による注目話題の抽出
• 基数制約に基づくMaxSATソルバーにおける変数アクティビティ調整とその評価

もっと見る 閉じる

スポンサーリンク