位置：成果数据库 > 期刊 > 期刊详情页
基于时态查询语言的并发Lambek演算及范畴语法
  • 期刊名称：智能系统学报
  • 时间：0
  • 页码：61-66
  • 语言：中文
  • 相关项目：多协作方式集成模型与环境研究
作者： 刘冬宁|汤庸|
同期刊论文项目
多协作方式集成模型与环境研究
期刊论文 48 会议论文 23 获奖 1 专利 4
同项目期刊论文
基于任务依赖关系的群体感知模型
基于结构摘要的时态索引技术
时态数据库时间轴的动态逻辑模型
Question Classification with Semantic Tree Kernel
面向复用的流程相似判定方法
Pattern-Oriented Workflow Generation and Optimization
时态的粒度刻画及演算问题研究
基于动态规划的柔性工作流
TempDB：时态数据管理系统
基于角色和任务的CSCW系统访问控制技术研究
A quantum-inspired genetic algorithm for k-means clustering
A Fast Operational Transformation Algorithm for Mobile and Asynchronous Collaboration
实时协同中的一致性维护关键技术
CLAF: Solving intention violation of step-wise operations in CAD groupware
自动建立信任的防攻击推荐算法研究
并发Lambek演算在时态查询中的语义转换
基于流程模式的工作流静态规划方法
基于相点分析的移动数据索引技术
Maintaining Time & Space Consistency in Hybrid Engineering Environments: Framework and Algorithm
Semantic Classification and Query of Engineering Drawings in Shipbuilding Industry
自然语言时态句型的模态Lambek演算
流程增量挖掘中的模型更新方法
时态索引框架技术及其应用
SA:一种有利于多属性范围查询的多维聚簇方法
FQM-tree:基于B~+树的时态索引
社交网络中感知技术的研究与应用
基于时态编码和线序划分的时态XML索引
基于对象相关性的全监督和直推式排序算法
基于关系数据库的极松散结构数据模型的访问控制研究
时态工作流过程模型及其合理性验证
智能主体的信念认知时态子结构逻辑模型
基于时限的角色授权委托模型
利用单词超团的二分图文本聚类算法
时态拟序数据索引TQD-tree
基于Selenium的工作流业务系统仿真测试
基于pay—as—you—go模式的Web服务发现
基于条件约束的工作流语义验证方法及应用
P2P工作流系统的调度框架设计和实现