|
编号 |
大会报告人 |
题目 |
发表的刊物/会议情况 |
部门 |
|
1 |
蔡少伟 |
复杂度与质量的平衡：搜索大图中的小顶点覆盖 |
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI 2015, 747-753 |
计算机科学国家重点实验室 |
|
2 |
陈波 |
弱监督语义知识获取技术 |
Xianpei Han and Le Sun. Global Distant Supervision for Relation Extraction. In: the Thirtieth AAAI Conference (AAAI-16). Zhenzhong Zhang, Le Sun and Xianpei Han. A Joint Model for Entity Set Expansion and Attribute Extraction from Web Search Queries. In: the Thirtieth AAAI Conference (AAAI-16). |
基础软件国家工程研究中心 |
|
3 |
石磊 |
基于多样性传导实验设计的主动学习方法 |
Lei Shi and Yi-Dong Shen, Diversifying Convex Transductive Experimental Design for Active Learning. The 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). New York, USA, July, 2016. |
计算机科学国家重点实验室 |
|
4 |
王永吉 |
操作系统中隐蔽信道的设计及建模 |
Yuqi Lin, Saif U. R. Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, and Samee U. Khan. Designing and Modeling of Covert Channels in Operating Systems. IEEE Transactions on Computers. (已录用) |
基础软件国家工程研究中心 |
|
5 |
蔡彦 |
程序bug的自动修复 |
Yan Cai？ and Lingwei Cao，Fixing Deadlocks via Lock Pre-Acquisitions，ICSE '16, May 14-22, 2016, Austin, TX, USA |
计算机科学国家重点实验室 |
|
6 |
田丰 |
笔式人机交互关键技术及应用 |
笔式人机交互关键技术及应用，田丰，戴国忠，王宏安，邢修青，张毅，方中雄，崔丽英，朱以诚，张凤军，李俊锋，王丹力，马翠霞，中国科学院软件研究所、鸿合科技有限公司、北京教育科学研究院、中国医学科学院北京协和医院 |
|
|
7 |
谢淼 |
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization |
Miao Xie, Qiusong Yang,Qing Wang, Gao Cong, Gerard de Melo，DynaDiffuse: A Dynamic Diffusion Model for，The Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15) Continuous Time Constrained Influence Maximization |
基础软件国家工程研究中心 |
|
8 |
张振峰 |
Post-quantum Secure Communication: Authenticated Key Exchange from Lattices |
Jiang Zhang, Zhenfeng Zhang, Jintai Ding, Michael Snook, ？zgür Dagdelen: Authenticated Key Exchange from Ideal Lattices. EUROCRYPT (2) 2015: 719-751 |
|
|
9 |
窦文生 |
电子表格中单元阵列的检测与修复 |
Wensheng Dou，Shing-Chi Cheung，Jun Wei，Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation，ICSE’14, May 31 – June 7, 2014, Hyderabad, India |
|
|
10 |
杨超 |
623 Tflop/s HPCG run on Tianhe-2:Leveraging millions of hybrid cores |
Yiqun Liu1,2, Chao Yang1,3, Fangfang Liu1, Xianyi Zhang1,2, Yutong Lu4,Yunfei Du4, Canqun Yang4, Min Xie4 and Xiangke Liao4，623 Tflop/s HPCG run on Tianhe-2:Leveraging millions of hybrid cores，The International Journal of High Performance Computing Applications 2016, Vol. 30(1) 39–54 |
