分支时间逻辑的分子模型检测,朱维军,,DNA计算比传统计算拥有更好的并行性。模型检测是一类流行的形式化验证方法,目前已被广泛应用于计算的多个领域,它本身在计算理论
基于文档中心模型的实体排序,欧阳昊一,徐蔚然,传统搜索引擎要求用户输入一串查询,搜索引擎返回一系列的相关文档供用户选择。然而用户更希望得到的并不是文档集合,而是确切的
一种基于面向服务计算平台的事件处理模型,倪明智,高强,基于请求/响应模型的面向服务体系架构(Service-OrientedArchitecture,SOA)的实现缺乏一定的耦合性和协作能力。事件驱动
基于微博网络的话题演化模型研究,周庆玲,王根英,微博信息网络的裂变式传播方式对现有的网络舆情传播模式提出了挑战。为了描述网络舆情在微博网络中的传播机制,本文提出了一个基
基于模糊逻辑的网格信任模型,廖红梅,Qianping Wang,由于信任本身的模糊性,采用模糊逻辑表示和计算网格中的信任关系是更合适的.本文提出了一个基于模糊逻辑的行为信任模型.采用变权的
一种基于SIP的状态呈现实现模型,邝坚,王贵豹,SIP协议是一种用于两方或多方之间创建、修改和终结会话的应用层控制(信令)协议。基于SIP协议,人们创造出各种前所未有的应用,包
基于要素的多文本摘要模型,荣楠,,计算机与互联网的飞速发展带来了数据的指数级膨胀。在信息爆炸时代,能够提高信息整合效率的自动文摘成为众多研究者的目标,但现
A Relational Model of Data for Large Shared Data Banks - Edgar Codd, 1970, CACM. Classical work of E
DHCE-CAS:一种基于分布式和混合计算的计算机代数系统,陈良育,曾振柄,在符号计算和自动推理领域,计算机代数系统(CAS)是一种基础且至关重要的计算工具。当前,已有很多成熟优秀的计算机代数系统,提
Vague集自提出以来,由于它在各个领域中的广泛应用而引起众多学者的注意,而模糊熵和距离测度是其中的关键技术。目前已有多种Vague集的模糊熵和距离测度的计算方法被提出来,但所有这些研究都没有讨论两者