F-019 文法推論に基づく無損失データ圧縮の改善(人工知能・ゲーム,一般論文)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2008-08-20
著者
関連論文
- SATによるプランニングとスケジューリング(最近のSAT技術の発展)
- SMT:個別理論を取り扱うSAT技術(最近のSAT技術の発展)
- 高速SATソルバーの原理(最近のSAT技術の発展)
- SMT : 個別理論を取り扱うSAT技術
- WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬 (人工知能と知識処理)
- 分散並列型SATソルバにおける探索空間の分割手法の提案
- 検索隠し味の半自動生成を目的とした訓練データの精製(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- 系列パターンマイニングにおけるアイテム集合間の関連強度による頻出部分系列の絞込み(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 補題再利用によるSATプランニングの高速化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)