检索结果-内蒙古大学图书馆

第十届中国机器学习会议

作者：周荃王崇骏王珺陈世福南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

样本的不均衡性直接影响分类器的精度,基于C4.5算法提出一种改进算法--PC4.5,并应用于MIT数据集.实验表明该算法能很好地处理训练集的不均衡性,并降低决策树的规模.

关键词： C4.5算法 PC4.5算法入侵检测不均衡性

来源：评论

学校读者我要写书评

暂无评论

CLUBRAR:基于属性聚类的Rough集约简算法

CLUBRAR:基于属性聚类的Rough集约简算法

引用

第六届中国Rough集与软计算学术研讨会(CRSSC'2006)

作者：于绍越贾修一商琳南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

本文提出一种新的基于属性聚类的Rough集属性约简算法CLUBRAR.本算法首先把属性进行聚类,从而得到属性之间的关系的全局信息;然后,在这种全局信息的指导之下再进行局部求优.实验结果表明:与QuickReduct算法相比较,CLUBRAR算法可以有效... 详细信息

本文提出一种新的基于属性聚类的Rough集属性约简算法CLUBRAR.本算法首先把属性进行聚类,从而得到属性之间的关系的全局信息;然后,在这种全局信息的指导之下再进行局部求优.实验结果表明:与QuickReduct算法相比较,CLUBRAR算法可以有效地提高属性约简的质量.但算法中,聚类数目、频率阈值和依赖度等参数对属性约简结果的影响是研究中需要进一步讨论的问题。

关键词：属性聚类 Rough集属性约简分类代价 CLUBRAR算法

来源：评论

学校读者我要写书评

暂无评论

基于MVC体系的网格计算平台

引用

高性能计算技术 2006年第1期 5-9页

作者：季一木王汝传王海艳南京邮电大学计算机科学与技术系南京210003 南京邮电大学计算机科学与技术系南京210003 计算机软件新技术国家重点实验室南京210093

本文重点阐述了在网格计算平台的设计与实现过程中的设计方法和设计过程,其设计方法采用MDA(Model Driven Architecture)模型驱动开发软件方法,设计过程采用MVC(Model-Visual-Control)体系,为了体现该平台的优越性,基于网格计算平台实... 详细信息

本文重点阐述了在网格计算平台的设计与实现过程中的设计方法和设计过程,其设计方法采用MDA(Model Driven Architecture)模型驱动开发软件方法,设计过程采用MVC(Model-Visual-Control)体系,为了体现该平台的优越性,基于网格计算平台实现了图像填充网格应用,并对该平台的优点进行了评估和相应的性能分析.

关键词：网格计算平台模型驱动开发模型-视图-控制体系图形填充

来源：评论

学校读者我要写书评

暂无评论

层次式结构在虚拟博物馆的应用研究

层次式结构在虚拟博物馆的应用研究

引用

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：徐丹陈继明潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京 210093

虚拟博物馆和分布式虚拟环境技术的结合,使得数字博物馆的网络共享成为可能.目前主要采用的基于兴趣表达式的兴趣过滤机制已经不能满足需求,本文提出了以数据的层次式表达式来实现虚拟博物馆的方法,并根据其层次式结构给出基于XML封装... 详细信息

虚拟博物馆和分布式虚拟环境技术的结合,使得数字博物馆的网络共享成为可能.目前主要采用的基于兴趣表达式的兴趣过滤机制已经不能满足需求,本文提出了以数据的层次式表达式来实现虚拟博物馆的方法,并根据其层次式结构给出基于XML封装的思想,使其能够更好的运用于基于XML路由器的主动网络,进一步提高了分布式数字博物馆的性能.

关键词：虚拟博物馆分布式虚拟环境层次式表达式 XML封装数字博物馆

来源：评论

学校读者我要写书评

暂无评论

一种基于本体的上下文模型

一种基于本体的上下文模型

引用

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：广凯魏鲲金浩潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京 210093

本文主要介绍了觉察上下文计算中的重要部分─上下文模型,并对已有的模型进行了分析和比较。从中可以看出,基于本体的上下文模型以其较强的形式化表示,为上下文的共享、推理和重用提供了较好的支持。本文在此基础上对上下文进行了重新分... 详细信息

本文主要介绍了觉察上下文计算中的重要部分─上下文模型,并对已有的模型进行了分析和比较。从中可以看出,基于本体的上下文模型以其较强的形式化表示,为上下文的共享、推理和重用提供了较好的支持。本文在此基础上对上下文进行了重新分类,建立起一个基于本体的智能实验室的模型,并在此模型下对具体的上下文场景进行了描述。

关键词：觉察上下文计算上下文感知上下文模型上下文场景智能实验室

来源：评论

学校读者我要写书评

暂无评论

基于移动代理的P2P与网格融合技术研究

引用

江苏通信技术 2006年第6期22卷 11-15页

作者：王杨王汝传赵慧娟南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学计算机科学与技术学院江苏苏州215006

P2P和网格是将来不可避免的两种分布式计算模式。通过对网格计算与P2P计算模式进行分析比较，提出了基于移动代理的网格与P2P融合的方案，并从资源组织与管理、工作调度策略、安全策略三个方面的关键机制进行了研究。最后给出一种融合... 详细信息

P2P和网格是将来不可避免的两种分布式计算模式。通过对网格计算与P2P计算模式进行分析比较，提出了基于移动代理的网格与P2P融合的方案，并从资源组织与管理、工作调度策略、安全策略三个方面的关键机制进行了研究。最后给出一种融合的应用实例。具体应用表明，两者之间的融合能够有效地推动普适计算的发展，具有很好的应用前景。

关键词：网格对等计算移动代理融合

来源：评论

学校读者我要写书评

暂无评论

CALO研究进展分析

CALO研究进展分析

引用

第一届Agent理论与应用学术会议

作者：罗文杰高阳王皓李凡长南京大学软件新技术国家重点实验室南京210093 苏州大学计算机科学与技术学院苏州215006

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应... 详细信息

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应用有着重要影响,也引起了国内外很多研究人工智能领域的学者的关注.综合目前CALO项目已经发表的论文所介绍的研究情况,全面介绍了该项目目前的研究进展,详细分析了其使用部分重要技术,并据此对今后一段时间人工智能相关技术的发展做出展望。

关键词： CALO 人工智能机器学习多Agent系统自然语言处理办公环境

来源：评论

学校读者我要写书评

暂无评论

MAS交互协议的形式化描述和验证

MAS交互协议的形式化描述和验证

引用

第一届Agent理论与应用学术会议

作者：陈宏兵杨群李千目许满武南京大学软件新技术国家重点实验室南京210093 南京理工大学计算机科学与技术系南京210094

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基... 详细信息

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。

关键词： MAS交互协议多Agent系统对话协议 π演算进程代数形式语义

来源：评论

学校读者我要写书评

暂无评论

基于自动规约规则的HTML文档元数据提取

引用

模式识别与人工智能 2005年第4期18卷 405-411页

作者：王守芳狄涤潘金贵南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自... 详细信息

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自动生成,通过自动规约生成规则无需人工分析,适应Web文档特点。文章最后给出了实验结果并进行了分析。

关键词：元数据提取基于规则自动规约

来源：评论

学校读者我要写书评

暂无评论

LDPChecker——一个实时和混成系统模型检验工具

引用

计算机研究与发展 2005年第1期42卷 38-46页

作者：裴玉李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过... 详细信息

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息.

关键词：实时和混成系统混成自动机线性时段性质模型检验

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：