-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=语义标注过程模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
语义标识的过程模型的可执行性分析
《小型微型计算机系统》2012年第12期2618-2624,共7页龚平 蒋建明 张仕 
国家自然科学基金项目(61100017)资助;福建省自然基金项目(2012J05112)资助;福建省教育厅A类项目(JA10080;JA11069)资助
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动...
关键词：语义标注过程模型 可执行性 有界模型检查 可满足性求解器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部