スポンサーリンク
芝浦工業大学システム理工学部電子情報システム学科 | 論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- トークンパッシングを用いた実時間通信方式(プロトコル・一般)
- B-6-72 遅延に対する公平性を考慮したALMバックボーンツリー設計(B-6.ネットワークシステム,一般セッション)
- M-038 PLCネットワークを用いた地震対策システム(ユビキタス・モバイルコンピューティング,一般論文)
- M-055 センサネットワークによる地震被災者救援システムの研究(M分野:ユビキタス・モバイルコンピューティング)
- リアルタイム防災システム実現のためのホームネットワークの研究
- 1W-8 論証ダイアグラムの分析と議論計算を統合したJ Araucariaツールの開発(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2Z-3 解集合プログラミングによるアブダクションを用いた発想的議論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2Z-1 多値論理EALPの知識表現による一貫性制約を用いた議論の意味論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5ZC-1 消費生活用製品の所有状況自動収集および統括データベース化によるリコール支援システム(社会システムとWeb(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 4ZB-4 ロケーション認識機能を持つ家庭内機器連携サービスの競合回避システム(ユビキタス応用(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- M-002 安全・安心のための家庭内情報蓄積システムの要件とアーキテクチャーの検討(ユビキタス・モバイルコンピューティング,一般論文)
- 3ZB-9 購入情報記録カードを用いたリコール支援システムの提案と開発(情報社会を支える技術(3),学生セッション,コンピュータと人間社会)
- L-014 小売店からの商品情報を用いたリコール支援システム(ネットワーク・セキュリティ,一般論文)
- 3ZB-7 買物客の戸惑い動作を利用した市場情報収集システム(ユビキタス応用(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- M-037 HF帯を使用した2種類のPLCの共存に関する研究(ユビキタス・モバイルコンピューティング,一般論文)
- 生成と検査の論理プログラムの統合による極小限定・定理証明器の構築
- 生成と検査の論理プログラムの統合による優先順位付き極小限定・定理証明器の構築
- 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)
- セマンティック Web 推論と議論エージェント推論の統合
スポンサーリンク