命題自己認識論理における拡張世界構成アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
- 1992-06-15
著者
関連論文
- D-12-15 サーベイランス映像における出現頻度を考慮した不審物体の検出(D-12. パターン認識・メディア理解,一般セッション)
- テクスチャ特徴に基づくテレビ番組映像からの高次特徴抽出
- テクスチャ特徴に基づくテレビ番組映像からの高次特徴抽出(一般セッション,システム・制御のためのパターン認識・メディア理解)
- D-12-93 映像編集支援のための事例映像に基づいたショットからの編集区間抽出(D-12.パターン認識・メディア理解,一般講演)
- D-12-102 プライバシー保護機能を有する映像サーベイランスシステムPriSurvにおける人物同定(D-12.パターン認識・メディア理解,一般講演)
- サ-ビス準備期間のあるGo-Back-N方式におけるコピ-伝送の有効性
- D-12-101 プライバシー保護機能を有する映像サーベイランスシステムPriSurvにおける前景抽出(D-12.パターン認識・メディア理解,一般講演)
- D-12-100 プライバシー保護機能を有する映像サーベイランスシステムPriSurvにおけるポリシー制御(D-12.パターン認識・メディア理解,一般講演)
- A-7-10 情報公開ポイントを用いた公平な信用交渉(A-7.情報セキュリティ,一般講演)
- ルールと例題の類似性に基づく学習法の一提案
- 毛筆文字デザインエキスパートシステムのための書道知識の解析とルール化の考察
- 多重暗号化と確率的動作選択に基づく匿名通信方式 : 3MN
- 多重暗号化と確率的動作選択に基づく匿名通信方式:3MN
- 印刷漢字パターンの明朝体からゴシック体への字体変換法
- 16-7 漢字パターンの明朝体からゴチック体への字体変換法
- 14-9 漢字ドットパターンの次数変換と整形について
- モジュール間の整合性検査のための要求仕様記述の検証
- レイアウトとコンテントの知識を用いた仮説駆動型文書画像理解
- 文書画像構造解析のための知識ベースの一構成法
- 並行処理待ち行列網シミュレータ D-SSQ(待ち行列網のパッケージとシミュレーター)
- 完全/不完全な知識に対する証明手続き
- 命題自己認識論理における決定手続き
- 位相情報空間型データベースシステムのエンドユーザ言語とその処理系について(情報の構造化と意味に関する研究)
- 不完全情報を含むフレームの階層化の一手法
- 知識を用いる毛筆字体評価システム
- 複数待ち行列システムにおける負荷分散について (待ち行列理論とその応用 II)
- Prioritized Resolvable-Contention-Ring control scheme for high speed optical networks
- Type B1バースト誤り訂正たたみ込み符号の一構成法 (情報理論・実験計画法における組合せ数学の諸問題 II : 研究会報告集)
- 非単調推論(不完全な知識の下での推論)
- ネットワーク技術の進展と社会生活へのインパクト
- ネットワークフローの知識工学的予測システムNEVIS
- ネットワークの定性的挙動解析
- 拡張弱順位関数
- SLR(k)パーザにおける誤り訂正, 回復について
- 内容検索可能な植物図鑑データベースシステム
- 例外を含む事例からの不完全知識の獲得法の一提案
- 時区間表現を用いた時間概念の帰納的学習
- 先行制御方式におけるオーバヘッドの解析
- 意味空間を用いた主題分析法
- 統計データベースにおける一連検索用ファイル編成法(知識ベースとデータベースの統合化に関する研究)
- 適応的仮説選択による対話型概念学習
- 中心仮説選択法による対話型概念学習
- 道路追跡アルゴリズムによる道路ネットワークの抽出
- 知識ベ-スを用いたハングルストロ-クのトップダウン抽出
- 自然言語要求仕様からモデル表現への変換 : シミュレーションソフトウェアを対象とした場合
- マルチメディア・データベースシステム : 映像・画像の被写体検索
- マルチメディアデータベースシステム : イベントの全体像把握のためのシステム構成
- 位相情報空間型データベースシステム (データ・セマンティクスの理論と実際に関する研究)
- 外延と内包を取り扱える拡張データベースシステム (データ・セマンティクスの理論と実際に関する研究)
- 図形の言語表現とそれに基づく検索システム : 内容検索可能な植物図鑑データベースシステム
- 植物図檻の画像データベースシステム (情報の記憶と利用に関する理論的研究)
- スキ-マフリ-デ-タベ-スシステムにおけるデ-タ統合について
- 位相情報空間生成文法とその空間の性質
- LR(k)パ-ザ縮小化の一方法
- 命題自己認識論理における拡張世界構成アルゴリズム
- 非単調知識処理システムBMS
- 命題自己認識論理における拡張世界構成アルゴリズム
- 非単調知識処理システムBMSの論理的考察
- 最少例外世界に着目した条件論理の証明について
- 信念に基づく非単調知識処理システムBMS
- 自己認識論理における拡張世界の一構成法
- ガード付き導出法によるシューベルトのスティームローラ問題の解決
- 操作フレ-ムに基づく自然言語仕様記述の省略補完
- 相互作用記述に基づくソフトウェア変更支援システム
- ソフトウェアの構造情報に基づく機能説明の生成
- 地球情報通信時代--情報技術の進展と社会システムの変遷
- 機能モデルに基づくソフトウェアの変更支援
- 定理証明システムSENRIの構成
- 演繹能カを付加したDBMSについて (情報の記憶と利用に関する理論的研究)
- 定理証明プログラムにおける内部構造の一実現法
- 概念的隣接度に基づく連想メカニズムのモデル化の一提案
- ACMマルチメディア国際会議の動向
- 自由連筆の可能な毛筆書き平仮名の生成
- 自己認識的データベースの基礎検討
- 知識利用型画像検索システムにおける画像解釈知識の獲得法