排序方式: 共有121条查询结果,搜索用时 0 毫秒
1.
本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里,针对给定的程序P和目标G,同时进行PPU{G}的部分演绎和抽象解释,以轴象解释控制部分演绎的展开过程,只要抽象论域是有穷的,部分演绎必定终止,耐用P’带有抽象解释估算出的关行其运行性质的信息,便于对P’作进一步优化。 相似文献
2.
3.
4.
5.
借助目前丰富的网络资源,将同一主题的现存Ontology知识聚类,提供给领域专家或用户进行二次精化和集成是Ontology研究领域的一个重要课题.OWL是目前用于表示和交换Ontology信息的基本标准.本文从OWL的语义本质出发,考虑了知识之间的继承性及复杂类比较和模糊集运算的相似性,提出一种计算OWL文档语义相似性的方式,并和层次聚类算法集成完成了对OWL文档集的聚类实验.实验结果说明本文提出的算法对自动生成和手工建立的OWL文档集都有很好的效果。 相似文献
6.
基于项目序列集操作的关联规则挖掘算法 总被引:29,自引:0,他引:29
最大频繁项目序列集的生成是影响关联规则挖掘的关键问题,传统的算法是通过对事务数据库的多次扫描实现的,最新的研究已经开始通过减少事务数据库的扫描次数进而减少挖掘过程的I/O代价来获得更高的效率,随着计算机性能的提高,探索合适的数据结构来支持基于一次事务数据库扫描的高效算法成为可能,该文首先给出项目序列集和它的基本操作的严格定义,然后在此基础上提出了一个称为ISS-DM的最大频繁项目序列集生成算法。ISS-DM算法是通过对事务数据库的一次扫描而逐步演化成最大频繁项目序列集的,最后作者对这一算法的时间和空间效率进行了理论分析和实验验证。 相似文献
7.
8.
在数据流中挖掘频繁项集得到了广泛的研究,传统的研究方法大多关注于在数据流中挖掘全部频繁项集.由于挖掘全部频繁项集存在数据和模式冗余问题,所以对算法的时间和空间效率都具有更大的挑战性.因此,近年来人们开始关注在数据流中挖掘频繁闭项集,其中一个典型的工作就是Moment算法.本文提出了一种数据流中频繁闭项集的近似挖掘算法A-Moment.它采用衰减窗口机制、近似计数估计方法和分布式更新信息策略来解决Moment算法中过度依赖于窗口和执行效率低等问题.实验表明,该算法在保证挖掘精度的前提下,可以比Moment获得更好的效率. 相似文献
9.
本文简要介绍欧洲信息技术研究与开发的战略计划ESPRIT的组织实施、和迄今已取得的效果,供国内计算机科技界参考。 相似文献
10.