Search results for "制約充足" | NDL Search

Search results 11

Group by title

新しい高速制約充足法に基づく描画システム

Paper図書

徳田, 雄洋, 東京工業大学1999-2000<Y151-H11680346>

National Diet Library

Subject Heading制約充足法 DeltaBlue法拡張DeltaBlue法 DeltaUp法階層的制約充足法

力学的な制約を加味した対話的な図形配置手法に関する研究

Paper図書

乾, 正知, 茨城大学1996-1998<Y151-H08650307>

National Diet Library

Subject HeadingCAD 図形配置対話処理制約充足干渉検出

洞察問題解決における認知メカニズムの解明と計算モデルの構築

Paper図書

鈴木, 宏昭, 青山学院大学1998-2000<Y151-H10610082>

National Diet Library

Subject Heading洞察問題解決制約認知科学多重制約充足人工知能創発

制約プログラミングに基づく業務システム構築法の研究

Paper図書

金田, 重郎, 同志社大学1998-2000<Y151-H10680394>

National Diet Library

Subject Headingプログラミング制約充足情報統合対話 OA ワークフロー帳票知識表現

大域的な解空間の探索を可能とする力学系による制約充足問題の解法

Paper図書

永松正博, 九州工業大学 [著][永松正博]2002-2003<Y151-H14580383>

National Diet Library

Subject Heading充足可能性問題 / 制約充足問題 / ニューラルネットワーク / Lagrangeの方法...

エージエントの分散制約充足に基づく計算機システムの検証および診断

Paper図書

栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>

National Diet Library

Subject Headingエージエント分散制約充足停止性検証二分決定グラフ項書換え系

制約充足問題における相転移現象に関する研究

Paper図書

西原清一, 筑波大学 [著][西原清一]2002-2004<Y151-H14380134>

National Diet Library

Subject Heading制約充足問題 / グラフ色ぬり問題 / 相転移現象 / 計算複雑さ ...

ユニバーサルデザインに対する情報科学からのアプローチ

Paper図書

川上浩司, 京都大学 [著][川上浩司]2003-2005<Y151-H15560219>

National Diet Library

Subject Headingユニバーサルデザイン / 対話型人工物 / 緩やかな拘束 / アフォーダンス / 制約充足問題 / 認知的課題の変化 / 様相論理 / 設計支援

問題解決エンジンとしての組合せアルゴリズムに関する研究

Paper図書

茨木, 俊秀, 京都大学1996-1998<Y151-H08405030>

National Diet Library

Subject Heading組合せアルゴリズムメタヒユーリステイクスタブー探索制約充足問題一般化割当問題

トツプダウン情報を利用した制約充足型画像処理

Paper図書

美濃, 導彦, 京都大学1993-1994<Y151-H05680296>

National Diet Library

Subject Headingトツプダウン情報制約充足画像処理インタフエース

並行論理プログラミングにおける静的モード体系の応用的側面に関する研究

Paper図書

上田, 和紀, 早稲田大学1995-1997<Y151-H07680371>

National Diet Library

Subject Heading並行論理プログラミングモード体系モード解析プログラム診断デバツグ制約充足最適化 GHC

Reached to the end of result.

RSS