CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Double configuration checking in stochastic local search for satisfiability 会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1)
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Scoring functions based on second level score for κ-SAT with long clauses 期刊论文
Journal of Artificial Intelligence Research, 2014, 卷号: 51, 页码: 413-441
Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Rabin's theorem in the concurrency setting: A conjecture 期刊论文
Theoretical Computer Science, 2014, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)
收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
面向PaaS的分布式缓存服务关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2013
秦秀磊
收藏  |  浏览/下载：32/0  |  提交时间：2014/01/03
基于小样本学习的3D 动态视觉手势个性化交互方法 期刊论文
电子学报, 2013, 卷号: 41, 期号: 11, 页码: 2230-2236
武汇岳; 王建民; 戴国忠
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：16/0  |  提交时间：2012/06/13
memory leak detection based on memory state transition graph 会议论文
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Viet nam, December 5, 2011 - December 8, 2011
Xu Zhenbo; Zhang Jian; Xu Zhongxing
收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08
一个环境适应的基于角色的访问控制模型 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 6, 页码: 983-990
吴新松; 贺也平; 周洲仪; 梁洪亮
收藏  |  浏览/下载：15/0  |  提交时间：2011/10/10
协同式草图创作系统的研究和开发 学位论文
硕士, 北京: 中国科学院研究生院, 2010
尹婷婷
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/03

©版权所有 ©2017 CSpace - Powered by CSpace