Generic Communication Protocol Program を利用したエージェントの interoperability の実現
スポンサーリンク
概要
著者
-
櫟 粛之
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
小暮 潔
ATRメディア情報科学研究所
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
櫟 粛之
NTT コミュニケーション科学基礎研究所
-
小暮 潔
NTT コミュニケーション科学基礎研究所
-
櫟 粛之
日本電信電話株式会社
関連論文
- Techniques to accelerate request processing for Byzantine fault tolerance (コンピュテーション)
- 実世界指向情報統合に向けて
- 歩行者ナビゲーションにおける情報伝達の利用者適応の分析
- D-12-102 複数視点監視カメラを用いた動的な見え方学習法(D-12.パターン認識・メディア理解,一般講演)
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- 実世界指向情報統合に向けて
- OWLオントロジー間の自動対応付け手法の提案と評価(「さまざまな分野の形式的検証最前線」及びAI一般)
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価(テーマセッション(2),人の検出・計測・認識)
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価(テーマセッション(2),人の検出・計測・認識)
- 擬人化における表情強度の身体動作-歌声間クロスモダリティ
- 音声モーフィングを用いた歌声表情付けの知覚的連続性の検討((SS)高品質音声分析変換合成法STRAIGHT, 一般, STRAIGHTスペシャルセッション(SS))
- コミュニケーション科学技術の新領域開拓活動--ディジタルシティの研究 (特集 NTTにおけるオープン・ラボ活動)
- Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems
- 外部観測可能な非言語行動による興味傾向判別の提案
- BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き(ソフトウェア基礎,プログラム理論)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- 合理的エージェントの心的状態に関する整合性の実現と応用について(ソフトウェアエージェントとその応用論文)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- BDI Logicのsequent calculusによる演繹体系(マルチエージェント)
- 共同作業時のコミュニケーションにおける視線行動の分析(UBI5:インタラクション・ユーザ支援)
- 共同作業時の身体動作と視線運動に関する考察(UBI5:インタラクション・ユーザ支援)
- 共同作業時のコミュニケーションにおける視線行動の分析(UBI5:インタラクション・ユーザ支援)
- 共同作業時の身体動作と視線運動に関する考察(UBI5:インタラクション・ユーザ支援)
- π-計算の名前制限の名前生成による実装の正しさ
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 確率的近似法を用いた頑強なオンライン評判メカニズム(分散協調とエージェント)
- エージェント間通信における信頼度計算手法
- モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用)
- 負荷分散のための非同期分散分枝限定法
- D-18 移動軌跡データモデルと領域に基づく問合せ処理(データ編成と高速化,D.データベース)
- 歩行者ナビゲーションにおける情報伝達の利用者適応の分析
- Generic Communication Protocol Program を利用したエージェントの interoperability の実現
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- DS-1-1 汎用的結合性のある秘密多項式評価法(DS-1. COMP-NHC学生シンポジウム,シンポジウムセッション)
- 形式的検証機能を備えたインターネットエージェントプログラミングシステム
- インターネットエージェントのための動的スナップショットアルゴリズムと部分ロールバックアルゴリズム(分散協調とエージェント)
- インターネットエージェントの非同期な資源取引における無待機アルゴリズム
- インターネットエージェントのための動的スナップショットアルゴリズムと部分ロールバックアルゴリズム
- 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)
- 鍵交換プロトコルの Functionality 合成について
- インターネットエージェントシステムのための実用的な耐ビザンチン故障方式(セッション1)
- 形式的検証機能を備えたインターネットエージェントプログラミングシステム(セッション1)
- Task-PIOAに基づくIdeal Functionality実現の証明の自動化(「さまざまな分野の形式的検証最前線」及びAI一般)
- インターネットエージェントとその基礎理論(「21世紀の知識情報科学に向けて」,及び一般)
- エージェントプログラミングとその形式的検証
- 知識と信念の推論に基づくモバイルエージェントシステム
- HDLで記述されたハードウェア設計の時相論理による検証
- HDLで記述されたハードウェア設計の時相論理による検証
- First-Order定義可能な様相命題論理体系に対する自動定理証明
- 停止性を保証する汎用様相論理定理証明手続き
- デフォルト論理に基づく知識プログラミングシステムとそのプログラム変換の理論的枠組み