中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共4条，第1-4条 帮助

条数/页： 排序方式：
Visual Tracking via Sparse and Local Linear Coding 期刊论文  OAI收割
IEEE TRANSACTIONS ON IMAGE PROCESSING, 2015, 卷号: 24, 期号: 11, 页码: 3796-3809
作者:  Wang, Guofeng;  Qin, Xueying;  Zhong, Fan;  Liu, Yue;  Li, Hongbo
  |  收藏  |  浏览/下载：21/0  |  提交时间：2018/07/30
Algorithm research of flexible graphplan based on heuristic (EI CONFERENCE) 会议论文  OAI收割
9th International Conference for Young Computer Scientists, ICYCS 2008, November 18, 2008 - November 21, 2008, Zhang Jia Jie, Hunan, China
作者:  Xu S.;  Wang X.;  Wang X.;  Wang X.;  Sun Y.
收藏  |  浏览/下载：20/0  |  提交时间：2013/03/25
Classic Graphplan has too much restriction on capturing the full subtlety of many real problems. Flexible Graphplan is defined which supports the soft constraints often found in reality. Heuristic concept is introduced to the process of plan extraction in flexible graphplan in order to improve the efficiency of plan extraction and the quality of plan. A novel algorithm using the new heuristic function which is applied by improved sum mutex heuristic to deal with planning problems is proposed. Sum mutex heuristic which is in common use as heuristic function takes into account only static propositional mutexes  and ignores the mutexes of actions. The performance of the new algorithm on many benchmark problems is remarkably robust. It can solve many planning problems  which can't be solved by the heuristic state space search planning system using sum mutex heuristic. 2008 IEEE.  
ltl model checking via search space partition 会议论文  OAI收割
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/28
ltl model checking via search space partition 会议论文  OAI收割
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/28