記号モデル検査を用いた自己安定アルゴリズムの検証法の提案

スポンサーリンク

概要

• 論文の詳細を見る
• 電子情報通信学会の論文
• 1999-11-12

著者

• 長野 伸一

  (株)東芝

関連論文

• ビジネスに使えるオントロジー関連ツール : 代表的シーンからの抽出(オントロジーの進化と普及(前編))
• マルチエージェントを用いた無中断予備VP設定方式
• オントロジーメンテナンスのための固有名詞抽出技術の検討(オントロジー,「Webインテリジェンス」及び一般)
• 機能量測定法を利用した不適切箇所の摘出による分析モデルの改善
• 要求仕様の機能量測定による概念要素構成の改善(要求工学(学生セッション))
• 社会ネットワーク分析手法を用いたオントロジーの構造的性質の評価(「Webインテリジェンス」及び一般)
• オントロジーメンテナンスのための固有名詞抽出技術の検討(オントロジー,「Webインテリジェンス」及び一般)
• ベンダ製品を用いた通信サービスシステムの信頼性評価手法(ネットワーク)
• オントロジを利用したCGM分析サービス(「Webインテリジェンス」及び一般)
• DT-2-5 オントロジーを用いたブログからのクチコミ情報抽出サービス(DT-2.身近なところで役に立ち始めたセマンティックWeb,チュートリアル講演,ソサイエティ企画)
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
• 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
• 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(並列・分散)
• マルチエージェントを用いた無中断予備VP設定方式
• プロトコル検証シミュレータの開発とコネクション確立プロトコルへの適用
• マルチエージェントを用いた無中断予備VP設定方式
• 通信プロトコルのリスポンシブネス検証における仮想システム状態の導入効果の実験的評価
• 通信プロトコルのリアルタイム性に関する諸性質の検証
• リスポンシブプロトコルのリアルタイム性検証のための時間を考慮した可到達解析法
• 6D-6 SATソルバを利用したオントロジー上の概念間距離の計算(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 3D-1 オントロジー構築のための文書からの意味関係抽出(自然言語処理(1),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 文書からのオントロジー獲得におけるオントロジー品質推定手法の提案(一般,「グリーンAI」及び一般)
• 4D-2 レシピ文書を対象としたオントロジー整備作業の評価(人工知能(2),一般セッション,人工知能と認知科学)
• COSMIC法による機能規模測定の信頼性評価(ソフトウェア要求のモデル化)
• COSMIC法による機能規模測定の信頼性評価(ソフトウェア要求のモデル化)
• 交換機の開発コストへのCOSMIC-FFP適用
• COSMIC-FFPの拡張とその評価
• リンクするデータ(Linked Data)-広がり始めたデータのクラウド- : 3.次世代の医薬品開発を支える知識流通
• リンクするデータ(Linked Data)-広がり始めたデータのクラウド- : 0.編集にあたって
• Linked Open DataチャレンジJapan 2011を振り返って
• オントロジを利用したCGM分析サービス
• OS-13 Linked Dataとオントロジー(オーガナイズドセッション報告,2012年度人工知能学会全国大会(第26回))
• ビジネスに使えるオントロジー関連ツール : 代表的シーンからの抽出
• 企業参加推進(2012年度人工知能学会全国大会(第26回))
• Linked Data とオントロジー

もっと見る 閉じる

スポンサーリンク