徳田, 雄洋, 東京工業大学1999-2000<Y151-H11680346>
国立国会図書館
- 件名制約充足法 DeltaBlue法 拡張DeltaBlue法 DeltaUp法 階層的制約充足法
乾, 正知, 茨城大学1996-1998<Y151-H08650307>
国立国会図書館
- 件名CAD 図形配置 対話処理 制約充足 干渉検出
鈴木, 宏昭, 青山学院大学1998-2000<Y151-H10610082>
国立国会図書館
- 件名洞察 問題解決 制約 認知科学 多重制約充足 人工知能 創発
永松正博, 九州工業大学 [著][永松正博]2002-2003<Y151-H14580383>
国立国会図書館
- 件名充足可能性問題 / 制約充足問題 / ニューラルネットワーク / Lagrangeの方法...
金田, 重郎, 同志社大学1998-2000<Y151-H10680394>
国立国会図書館
- 件名プログラミング 制約充足 情報統合 対話 OA ワークフロー 帳票 知識表現
西原清一, 筑波大学 [著][西原清一]2002-2004<Y151-H14380134>
国立国会図書館
- 件名制約充足問題 / グラフ色ぬり問題 / 相転移現象 / 計算複雑さ ...
栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>
国立国会図書館
- 件名エージエント 分散制約充足 停止性検証 二分決定グラフ 項書換え系
川上浩司, 京都大学 [著][川上浩司]2003-2005<Y151-H15560219>
国立国会図書館
- 件名ユニバーサルデザイン / 対話型人工物 / 緩やかな拘束 / アフォーダンス / 制約充足問題 / 認知的課題の変化 / 様相論理 / 設計支援
美濃, 導彦, 京都大学1993-1994<Y151-H05680296>
国立国会図書館
- 件名トツプダウン情報 制約充足 画像処理 インタフエース
茨木, 俊秀, 京都大学1996-1998<Y151-H08405030>
国立国会図書館
- 件名組合せアルゴリズム メタヒユーリステイクス タブー探索 制約充足問題 一般化割当問題
上田, 和紀, 早稲田大学1995-1997<Y151-H07680371>
国立国会図書館
- 件名並行論理プログラミング モード体系 モード解析 プログラム診断 デバツグ 制約充足 最適化 GHC