CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
An Interactive SpiralTape Video Summarization 期刊论文
IEEE TRANSACTIONS ON MULTIMEDIA, 2016, 卷号: 18, 期号: 7, 页码: 1269-1282
Liu, YJ; Ma, CX; Zhao, GZ; Fu, XL; Wang, HG; Dai, GZ; Xie, LX
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Automatic GUI Test by Using SIFT Matching 期刊论文
CHINA COMMUNICATIONS, 2016, 卷号: 13, 期号: 9, 页码: 227-236
Fang, XX; Sheng, B; Li, P; Wu, D; Wu, EH
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
Cai, SW; Luo, CA; Lin, JK; Su, KL
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
Tailoring local search for partial MaxSAT 会议论文
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
Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4)
收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16
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
Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs 会议论文
2014 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2014, Monterey, CA, United states, March 23, 2014 - March 25, 2014
Li, Chao (1); Yang, Yi (2); Dai, Hongwen (1); Yan, Shengen (3); Mueller, Frank (4); Zhou, Huiyang (1)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
Global core, and galaxy structure of networks 期刊论文
Science China Information Sciences, 2014, 卷号: 57, 期号: 7, 页码: 1-20
Zhang, Wei (1); Pan, YiCheng (1); Peng, Pan (1); Li, JianKou (1); Li, XueChen (3); Li, AngSheng (1)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Generating combinatorial test suite using combinatorial optimization 期刊论文
Journal of Systems and Software, 2014, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16

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