スポンサーリンク
富士通(株)国際情報社会科学研究所 | 論文
- A安定な対称補間型ブロック法
- ペトリネットにおいて指定された発火回数ベクトルを発火可能とする初期マ-キング
- ペトリネットにおける無競合なプレ-スの存在と行列方程式の解の発火可能性
- 離散定数系に対する特異行列リカッチ方程式の半正定定常解
- 離散定数系に対する特異行列リカッチ方程式の漸近特性
- 音源分離知覚実験のための音像操作インタフェース
- ニューロン回路 : 運動制御(ニューロコンピューティング)
- Lawrence Davis 編, "Genetic Algorithms and Simulated Annealing (Research Notes in Artificial Intelligence)", Pitman, London, B5 変形判, 216p.,\4,660, 1987
- 不動点法による非線形積分方程式の数値解法
- PROLOG述語(呼び出し)の決定性
- Prologソースレベル・オプティマイザの試作とその性能評価
- R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
- ソフトウェア品質管理への品質展開アプローチ : 概念的枠組みと方法論
- 品質展開における対重要度と設計ポイント分析
- ソフトウェア開発へのQuality Feedback : 方法論と適用事例
- 汎化と枚挙によるモデル推論
- 2. 方式 2.3 帰納推論による自動プログラミング (自動プログラミング)
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ
- 赤外スペクトルの回転構造の解析と計算機(化学におけるコンピューターの利用)
スポンサーリンク