情報・システム-人工知能と知識処理(開催日：2006/11/03)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2006/11/3
[資料番号]
目次

,  

[発表日]2006/11/3
[資料番号]
On securing open networks through trust and reputation-architecture, challenges and solutions

,  

[発表日]2006/11/3
[資料番号]AI2006-12
極大系列抽出を目的とする系列包含検査の高速化アルゴリズム(「さまざまな分野の形式的検証最前線」及びAI一般)

市川 博規,  岩沼 宏治,  鍋島 英知,  

[発表日]2006/11/3
[資料番号]AI2006-13
Webアクセスログに対する系列データマイニング : ページ滞在時間系列の解析(「さまざまな分野の形式的検証最前線」及びAI一般)

吉田 修,  岩沼 宏治,  鍋島 英知,  

[発表日]2006/11/3
[資料番号]AI2006-14
OWLオントロジー間の自動対応付け手法の提案と評価(「さまざまな分野の形式的検証最前線」及びAI一般)

酒井 隆道,  櫟 粛之,  

[発表日]2006/11/3
[資料番号]AI2006-15
セキュリティプロトコルの検証技術(1) : カギ交換プロトコルの安全性証明でよく見られる誤り(「さまざまな分野の形式的検証最前線」及びAI一般)

今本 健二,  

[発表日]2006/11/3
[資料番号]AI2006-16
鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)

今本 健二,  櫟 粛之,  櫻井 幸一,  

[発表日]2006/11/3
[資料番号]AI2006-17
Task-PIOAに基づくIdeal Functionality実現の証明の自動化(「さまざまな分野の形式的検証最前線」及びAI一般)

櫟 粛之,  

[発表日]2006/11/3
[資料番号]AI2006-18
モデル検査によるステートチャートとシーケンスチャートの整合性検証(「さまざまな分野の形式的検証最前線」及びAI一般)

長谷川 哲夫,  深澤 良彰,  

[発表日]2006/11/3
[資料番号]AI2006-19
生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)

若木 利子,  富田 一夫,  

[発表日]2006/11/3
[資料番号]AI2006-20
複写される方へ

,  

[発表日]2006/11/3
[資料番号]
Notice about Photocopying

,  

[発表日]2006/11/3
[資料番号]
奥付

,  

[発表日]2006/11/3
[資料番号]