Search results 7
Paper図書
National Diet Library
- Subject Heading制約解消 / グリッド / 並列計算
- Additional Title研究種目 基盤研究(C) グリッド計算機環境上で動作する並列制約解消システムに関する研究
Paper図書
National Diet Library
- Subject Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Mathemati...
Paper図書
National Diet Library
- Subject Heading移動エージエント プロセス計算 計算モデル 開放系 分散システム ソフトウエアアーキテクチヤ 制約解消 非均質性
Paper図書
National Diet Library
- Subject Headingモービルコンピユーテイング 携帯情報端末 Pegasus WebPad Thin Client 情報フイルタリング 制約解消系 ペンコンピユーテイング
Paper図書
National Diet Library
- Subject Headingモバイルエ-ジエント 電子商取引支援 スケジユ-リング 合意形成アルゴリズム 効用理論 分散型意思決定支援 制約解消アルゴリズム 多重交渉
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェア 仕様記述 仕様検証 制約解消 数式処理
- Note (General)本研究では、多項式制約解消アルゴリズムである区間制約伝播......raSATとして実装を行った。制約解消の解は SAT(充足可能)かUNSAT(充足不能)だが、SA...
Paper図書
National Diet Library
- Subject Heading宣言型プログラミング マルチメデイア 関数論理融合型言語 ナローイング計算系 ヒユーマンインタフエース 分散環境 Mathematica 制約解消
Reached to the end of result.