CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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
对Raviyoyla v1的实际伪造攻击 期刊论文
计算机学报, 2016, 卷号: 39, 期号: 3, 页码: 478-491
姚远; 张斌; 吴文玲
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
Quantum search algorithm based on fuzzy problem 会议论文
2013 3rd International Conference on Advanced Materials and Information Technology Processing, AMITP 2013, Los Angeles, CA, United states, October 1, 2013 - October 2, 2013
Zhuang, Jiayu (1); Zhao, Junsuo (1); Xu, Fanjiang (1); Zhan, Wenjun (1); Li, Dan (1); Zhang, Heng (1)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
Stereoscopic visual fatigue assessment and modeling 会议论文
25th Stereoscopic Displays and Applications Conference, SD and A 2014, San Francisco, CA, United states, February 3, 2014 - February 5, 2014
Wang, Danli (1); Wang, Tingting (1); Gong, Yue (1)
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation 会议论文
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)
收藏  |  浏览/下载：16/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
Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
efficient and distributed authentication scheme for secure communication in manet 期刊论文
Journal of Computational Information Systems, 2013, 卷号: 9, 期号: 1, 页码: 57-64
Wang Daxing; Teng Jikai
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
Learning to detect task boundaries of query session 会议论文
22nd ACM International Conference on Information and Knowledge Management, CIKM 2013, San Francisco, CA, United states, October 27, 2013 - November 1, 2013
Zhang, Zhenzhong (1); Sun, Le (1); Han, Xianpei (1)
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
Search based risk mitigation planning in project portfolio management 会议论文
2013 International Conference on Software and Systems Process, ICSSP 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Xiao, Junchao (1); Osterweil, Leon J. (2); Chen, Jie (1); Wang, Qing (1); Li, Mingshu (1)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16

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