CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
FLP answer set semantics without circular justifications for general logic programs 期刊论文
Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
Image-based non-photorealistic rendering for realtime virtual sculpting 期刊论文
Multimedia Tools and Applications, 2014
Lu, Ping (1); Sheng, Bin (3); Luo, Shengmei (2); Jia, Xia (2); Wu, Wen (5)
收藏  |  浏览/下载：55/0  |  提交时间：2014/12/16
factorising the multiple fault localization problem: adapting single-fault localizer to multi-fault programs 会议论文
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Gong Cheng; Zheng Zheng; Zhang Yunqian; Zhang Zhenyu; Xue Yunzhi
收藏  |  浏览/下载：8/0  |  提交时间：2013/09/22
automatically generated formal specification based on the problem decomposition tree 期刊论文
Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 卷号: 52, 期号: SUPPL.1, 页码: 88-92
Wang Changjing
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/17
能量分析攻击的攻防机理及评估技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
刘继业
收藏  |  浏览/下载：27/0  |  提交时间：2012/01/11
能量分析攻击的攻防机理及评估技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
刘继业
收藏  |  浏览/下载：20/0  |  提交时间：2012/01/11
密码实现能量消耗指令级模拟系统的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李建堂
收藏  |  浏览/下载：13/0  |  提交时间：2011/06/14
a case study of using wiki win win into bug negotiation 会议论文
1st International Workshop on Evidential Assessment of Software Technologies, EAST 2011, in Conjunction with ENASE 2011, Beijing, China, June 8, 2011 - June 11, 2011
Wan Peng; Li Juan; Li Yin
收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08
multi-letter quantum finite automata: decidability of the equivalence and minimization of states 期刊论文
ACTA INFORMATICA, 2011, 卷号: 48, 期号: 5-6, 页码: 271-290
Qiu Daowen; Li Lvzhou; Zou Xiangfu; Mateus Paulo; Gruska Jozef
收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08
轨道车辆人机界面软件冗余设计与可靠性分析 期刊论文
计算机应用与软件, 2011, 卷号: 28, 期号: 12, 页码: 179-182
陈进进; 郑刚
收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08

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