位置：成果数据库 > 期刊 > 期刊详情页
时态查询语言的并发Lambek演算及范畴语法
  • 期刊名称：智能系统学报
  • 时间：0
  • 页码：1373-1378
  • 语言：中文
  • 相关项目：双时态XML数据模型及应用研究
作者： 汤娜|刘冬宁|汤庸|黄昌勤|
关于汤庸：

时态知识数据模型及软件构件研究
期刊论文 71 会议论文 20 获奖 6 著作 1
双时态XML数据模型及应用研究
期刊论文 69 会议论文 10 著作 1
同期刊论文项目
双时态XML数据模型及应用研究
期刊论文 69 会议论文 10 著作 1
同项目期刊论文
基于结构摘要的时态索引技术
时态数据库时间轴的动态逻辑模型
基于角色的带时限的转授权与撤销模型
基于OWL时间本体的工作流建模与验证
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑μALCQO的语义及推理
基于扩展Dewey编码的XML文档更新计算
Study and application of temporal index technology
并发Lambek演算在时态查询中的语义转换
Co-Clustering Bipartite With Pattern Preservation For Topic Extraction
Mapping Bitemporal XML Data Model to XML Document
基于相点分析的移动数据索引技术
基于XML的自动学习Web信息抽取
XML文档中时态信息存储方法的研究与比较
描述逻辑FL~-循环术语集的语义及推理
自然语言时态句型的模态Lambek演算
描述逻辑εL混合循环术语集的LCS和MSC推理
带传递关系和存在量词的描述逻辑MSC推理
基于时态编码和线序划分的时态XML索引
基于对象相关性的全监督和直推式排序算法
基于关系数据库的极松散结构数据模型的访问控制研究
A Workflow Model Based on Ontology
ID-Based Fair Off-Line Electronic Cash System with Multiple Banks
时态工作流过程模型及其合理性验证
一种维护分解的并行增量视图维护方法
描述逻辑μALCIO的语义及推理
一种工作流模型的挖掘方法
时态XML索引技术
智能主体的信念认知时态子结构逻辑模型
一种工作流模型的时间性能评估方法
基于时限的角色授权委托模型
利用单词超团的二分图文本聚类算法
带RVM的描述逻辑εL混合循环术语集的语义及推理
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
基于时态变量对象关系模型及代数运算
模糊描述逻辑FALNUI的tableaux推理
时态拟序数据索引TQD-tree
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
面向XML文档的时态访问控制技术研究
描述逻辑FL-循环术语集的语义及推理
基于pay—as—you—go模式的Web服务发现
一种新的XML文档更新计算
一种降低XML文档更新代价的扩展Dewey编码方案
基于上下文感知的访问控制模型:CaRBAC
中国大陆赴香港旅游预测模型