検索結果 7 件
紙図書
国立国会図書館
- 件名制約解消 / グリッド / 並列計算
- その他のタイトル研究種目 基盤研究(C) グリッド計算機環境上で動作する並列制約解消システムに関する研究
紙図書
国立国会図書館
- 件名モービルコンピユーテイング 携帯情報端末 Pegasus WebPad Thin Client 情報フイルタリング 制約解消系 ペンコンピユーテイング
紙図書
国立国会図書館
- 件名モバイルエ-ジエント 電子商取引支援 スケジユ-リング 合意形成アルゴリズム 効用理論 分散型意思決定支援 制約解消アルゴリズム 多重交渉
デジタル文書・図像類
全国の図書館
- 件名ソフトウェア 仕様記述 仕様検証 制約解消 数式処理
- 一般注記本研究では、多項式制約解消アルゴリズムである区間制約伝播......raSATとして実装を行った。制約解消の解は SAT(充足可能)かUNSAT(充足不能)だが、SA...
紙図書
国立国会図書館
- 件名宣言型プログラミング マルチメデイア 関数論理融合型言語 ナローイング計算系 ヒユーマンインタフエース 分散環境 Mathematica 制約解消
検索結果は以上です。