スポンサーリンク
東京工業大学情報理工学研究科計算工学専攻 | 論文
- Timeliness and Reliability Oriented Autonomous Network-Based Information Services Integration in Multi-Agent Systems(Software Agent and Its Applications)
- Rating Oriented Distributed Information System for High Quality Autonomous Service Provision and Utilization (特集 新時代の分散処理とネットワーク(WebサービスとP2P))
- プラスチック成形品における設計制約学習システム
- 平面幾何学の推論と学習への視覚的イメージの導入
- D-10-13 アクセス頻度に応じた自律情報配布システムの評価に関する研究(D-10. ディペンダブルコンピューティング)
- 語の共起頻度を用いた複合語の解析
- 語の共起を用いた複合名詞の解析
- 特集「ソフトウェア論文」の編集にあたって
- 有限遅延幅モデルにおける非同期式回路の検証について (テストと設計検証論文特集)
- 時間トレース理論に基づく非同期式回路の検証について
- 帰納論理プログラミング過程を用いた射出成形品金型の自動設計
- リアクティブシステムの段階的充足可能性とSafety Propertyの関係
- オブジェクトベースとWWWを用いたCAMEツール
- 設計仕様とプログラム間の関連に基づいた変更支援法
- 実例からの語義共起関係の自動抽出
- 証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
- 適切さと論理RとERの証明力の比較
- 適切さの論理ERの決定可能性
- 証明力を拡張した適切さの論理ER
- 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)