COMPETENT

作品数：75被引量：117H指数：7
导出分析报告
相关领域：医药卫生更多>>
相关作者：李阳李晓理冷雪莲张琪吴孟超更多>>
相关机构：东北师范大学北京科技大学中国传媒大学四川外国语大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划北京市自然科学基金上海市青年科技启明星计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—控制理论与控制工程x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Competent predicate abstraction in model checking被引量：4
《Science China(Information Sciences)》2011年第2期258-267,共10页LI Li SONG XiaoYu GU Ming LUO XiangYu 
supported by the National Basic Research Program of China (Grant No. 2004CB719406);the National Natural Science Foundation of China (Grant Nos. 60635020, 90718039, 60763004)
The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in ...
关键词：PROGRAM model checking predicate abstraction weight heuristic 
Histogram-Based Estimation of Distribution Algorithm:A Competent Method for Continuous Optimization被引量：6
《Journal of Computer Science & Technology》2008年第1期35-43,共9页丁楠 周树德 孙增圻 
This work is funded by the National Grand Fundamental Research 973 Program of China(Grant No.G2002cb312205).
Designing efficient estimation of distribution algorithms for optimizing complex continuous problems is still a challenging task. This paper utilizes histogram probabilistic model to describe the distribution of popul...
关键词：evolutionary algorithm estimation of distribution algorithm histogram probabilistic model surrounding effect shrinking strategy 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部