スポンサーリンク
名古屋工業大学工学部知能情報システム学科 | 論文
- モデル生成法に基づく安定モデル計算の効率化
- 「失敗による否定」のための相補的アトムを用いたプログラム変換
- マジックセット法に基づく安定モデル計算の効率化
- 論理和データベースに対するゴール指向問合せ処理
- モデル生成法に基づく安定モデル計算の効率化
- 論理和プログラムに対するゴール指向問合せ処理
- 高次元超立体鎖符号の幾何学的な復号法と訂正限界 : 高誤り率10^〜10^における訂正能力
- GTMを用いた時系列データの可視化
- 詰将棋におけるゲーム木の並列探索とその評価
- アヤトリにおけるひも図形変形過程の表現とその処理
- 点で制約されている結び目の特性化とその処理
- 点で制約されている結び目の特性化について
- 細線化骨格の追跡評価による歪み補正手法について
- 仮説に基づく意味ネットワークの管理方法
- モードスワップを用いた経路構造による帰納学習アルゴリズム
- 飽和節の構造分析に基づいた再帰的論理プログラムの帰納
- 反転モードを用いた逆含意帰納学習アルゴリズム
- GAを用いた小型ロボットの行動の進化的学習
- アヤトリにおける紐状態の多項式表現
- ハイパーリンクの多機能化を目的としたBAC-Linkシステムの試作