キーワード : 制約充足問題


大規模ビデオサーバのビデオセグメント配置による性能改善
田中 清 阪本 秀樹 鈴木 偉元 西村 一敏 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/09/01
Vol. J84-D1  No. 9 ; pp. 1387-1395
論文種別:  論文
専門分野: データベース
キーワード: 
ビデオオンデマンド大規模ビデオサーバストライピングセグメント配置制約充足問題
 あらまし | 本文:PDF(645.1KB)

2段階CLP緩和解法によるリソース平準化スケジューリングシステム
高田 真好 寺野 隆雄 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6 ; pp. 896-905
論文種別:  特集論文 (システム開発論文特集)
専門分野: 人工知能,認知科学
キーワード: 
制約論理プログラミング平準化制約充足問題制約緩和問題生産スケジューリング
 あらまし | 本文:PDF(907.2KB)

再構成可能なハードウェアを用いた充足可能性問題の解法
須山 敬之 横尾 真 澤田 宏 名古屋 彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4 ; pp. 410-420
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
充足可能性問題リコンフィギャラブルコンピューティングFPGA論理合成制約充足問題
 あらまし | 本文:PDF(864.4KB)

モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1 ; pp. 224-236
論文種別:  論文
専門分野: 人工知能,自然言語処理,認知科学
キーワード: 
自動証明制約充足問題準群問題モデル生成法OR並列
 あらまし | 本文:PDF(854.2KB)

大規模データベースを用いた計画問題とその並列処理方式
大森 匡 松本  
誌名:   電子情報通信学会論文誌 D
発行日: 1994/08/25
Vol. J77-D1  No. 8 ; pp. 577-588
論文種別:  論文
専門分野: データベース
キーワード: 
並列データベース処理制約充足問題協調分散処理
 あらまし | 本文:PDF(843.5KB)

ラティス構造内の領域探索法と制約充足問題への応用
清水 英弘 太原 育夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/03/25
Vol. J76-D2  No. 3 ; pp. 615-623
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
ラティス構造部分領域極小元極大元制約充足問題
 あらまし | 本文:PDF(539.3KB)