遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
スポンサーリンク
概要
著者
関連論文
-
競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
-
SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
[招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
-
ペナルティ関数法によるSAWフィルタのロバスト最適設計
-
ダイアグラムに基づく法的論争支援システム
-
時間オートマトンによるフェースディスプレイの上位設計と形式的検証
-
複数のロバスト仕様をみたすPID制御器の設計
-
ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
-
非凸多角形区間演算とそのインプリメント
-
最適化コンパイラによるロボット制御プログラムの開発
-
ある種のマルチDSPシステムにおける多目的最適化問題に対する分枝限定法の適用
-
Differential EvolutionによるSAWフィルタの多目的最適設計
-
距離に基づく生存選択を用いた Differential Evolution の構成法
-
連続世代モデルに基づく微分進化法の分散分析による比較研究
-
微分進化法における連続世代モデルの提案と分散分析による評価
-
5P-3 大規模最適化問題に対する適応的Free&Freeze法(進化的計算とバイオインフォマティクス,学生セッション,ソフトウェア科学・工学)
-
微分進化法による平衡型SAWフィルタの最適設計
-
ユーザ教示とデータ通信によるQ-table生成機構を有するユビキタスQ学習エンジンの実装(ユビキタスコンピューティング,マルチメディア,分散,協調とモバイル(DICOMO2006))
-
遺伝的アルゴリズムによるSAWフィルタの多目的最適設計
-
遺伝的局所探索法によるSAWフィルタの多目的最適設計
-
DMSフィルタの大規模な設計問題に対する適応的 Free&Freeze 法
-
タグチメソッドと遺伝的局所探索法による共振器型SAWフィルタのロバスト最適設計
-
アフォーダンス理論による人工技能への接近 : 記憶と身体性
-
315 弾性表面波フィルタのロバスト最適設計
-
315 弾性表面波フィルタのロバスト最適設計
-
可変近傍探索法による三電極SAWフィルタの最適化設計
-
アフォーダンス理論に基づく知能ロボットの創発 : 身体の形状と環境
-
手先コンプライアンスを考慮した冗長アームの最適姿勢問題とその区間解析による解法
-
今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
-
今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
-
高速区間二分法による非線形方程式の全解探索とロボットアームの逆運動学問題への適用
-
GKSを用いたマルチスクリーン・マルチウィンドウグラフィックスシステム
-
パーソナルコンピュータを利用した電気回路解析用CADグラフィックスシステム
-
時間オートマトンによるフェースディスプレイの上位設計と形式的検証
-
連続世代モデルに基づく微分進化法の分散分析による比較研究
-
大学の国際化とメディア利用の展望 : 大学・機関における国際学術・教育交流活動の実態および関心調査から
-
モデル消去法に基づくSOL導出の実現
-
遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
-
有限状態機械に対する形式的検証
-
距離に基づく遺伝アルゴリズムの構築法 -表現型の距離と調和交叉法-
-
巡回セールスマン問題に対する遺伝的アルゴリズムの構成法 : 表現型の距離と調和交叉法
-
正則表現論理シミュレ-ション手法に基づく非同期順序回路の検証
-
凸多面体リヤプノフ関数を用いた複合系の安定解析II
-
動的凸包算法の高速化
-
Differential Evolution によるSAWフィルタの多目的最適設計
-
CF帰納法における一般化に関する考察
-
凸多面体リヤプノフ関数を用いた複合系の安定解析
-
エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
-
二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
-
ロボットの逆動力学計算に対する最適化システム
-
ロボット制御則の並列化問題に対する遺伝アルゴリズムの適用
-
ロボット制御則の並列化問題に対する重み付きエッジ交叉法
-
多角形区間演算を用いたゲイン余裕の算出
-
ある種のマルチDSPシステムのスケジューリング問題に対する最適化アルゴリズム
-
ロボットの動的制御における計算の並列化アルゴリズムとオブジェクト指向による実現
-
SA-1-8 多角形区間演算を用いたロバスト制御系の解析・設計(SA-1. 区間演算の工学的応用,シンポジウム)
-
多角形区間演算のロバスト根軌跡法への適用
-
リヤプノフ関数の自動生成と安定領域の推定
-
ハイブリッドシミュレータを用いたδ差分実現によるEMM制御系の評価
-
多角形区間演算の改良と不確かさを含む伝達関数の値集合の推定 (電気関連学会関西支部連合大会)
-
多角形区間演算を用いた不確かさをもつむだ時間制御系の安定度の解析 (ロバスト制御と適応制御--不確かさをもつ対象の制御)
-
非線形周期解の存在と安定性について
-
遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
-
操作力を考慮した人工腕の最適姿勢問題と区間解析による大域的最適化
-
ロボット制御則の並列処理におけるタスクの自動生成手法 -数式の代数的変換による並列化-
-
デフォルト規則を含む拡張論理プログラムの学習
-
節集合の対称性を利用したSATCHMOによる充足可能性判定
-
タブローに基づく論理的帰結発見手続きSOL
-
非共有記憶型並列計算機上での二分決定グラフの並列化とその応用
-
SATソルバと後ろ向き推論によるアクション言語Αの実装
-
アクション言語のためのボトムアップ処理系
-
ノンホーンマジックセット法と関連性テストとの等価性
-
並列差分進化計算の比較研究
-
随伴回路を用いたサイリスタ回路の定常解析と汎用定常解析プログラムANASPについて
-
遺伝的アルゴリズムを用いた拡張論理プログラムの学習 (テーマ:「インターネットとAI」及び一般)
-
正則表現論理シミュレータの実現について
-
平成2年産業応用部門全国大会
-
アクション言語Aにおける行動規則の学習
-
非決定性アクション言語NA上のプランニング手続き
-
投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
-
ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
-
補題の利用による効率的なSOL導出の実現
-
SATソルバによるアクション言語処理系の実装
-
有限オートマトンに基づく非決定性アクション言語
-
マルチDSPシステムによるスループット時間が最短であるディジタル制御器の実現
-
論理回路シミュレータの入出力インタフェースについて
-
アクション言語Aにおける行動規則の学習
-
拡張論理プログラム学習へのトップダウン手続きの組込み
-
プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
-
Java言語によるアクション言語処理系の実装
-
共有記憶型並列計算機上での共有二分決定グラフの並列化について
-
ゲートレベル論理回路の閉路の切断について
-
系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)
-
論理回路における閉路の切断について(計算アルゴリズムの基礎理論)
-
タイミング検証に適した系列集合論理シミュレータについて
-
Local Theorems on the Convergence of Equilibrium Solution Methods Based on Componentwise Inequalities
-
A Note on the Convergence of Steepent-Gradient Algorithm for Piecewise-Quadratic Functionals
-
μ-functional on Bounded Linear Operators
もっと見る
閉じる
スポンサーリンク