|
学术论文 |
|
编号 |
部门 |
题目 |
作者 |
|
1 |
并行软件与计算科学实验室 |
基于哈希的模型计数估算算法
A New Probabilistic Algorithm for Approximate Model Counting |
葛存菁,马菲菲,刘田,张健,马旭桐 |
|
2 |
计算机科学国家重点实验室 |
Dichotomy for Real Holantc Problems |
Jin-Yi Cai, Pinyan Lu, Mingji Xia |
|
3 |
计算机科学国家重点实验室 |
基于可进化尺度的搜索测试与动态符号执行的结合
Combining Search-based Software Testing and Dynamic Symbolic Execution by Evolvability Metric |
朱自明,焦莉,徐雄 |
|
4 |
计算机科学国家重点实验室 |
加强边缘感知的双边纹理滤波方法
Improved Bilateral Texture Filtering with Edge-aware Measurement |
徐盼盼,王文成 |
|
5 |
计算机科学国家重点实验室 |
L-CMP：基于关联规则学习的自动化带参验证工具
L-CMP: an automatic learning-based parameterized verification tool |
李勇坚,曹嘉伦,庞军 |
|
6 |
计算机科学国家重点实验室 |
基于动态策略的最小权顶点覆盖问题局部搜索算法
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies |
Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li |
|
7 |
计算机科学国家重点实验室 |
矩形转换问题 |
王少将,何琨,潘祎诚,夏盟佶 |
|
8 |
计算机科学国家重点实验室 |
Poisson Vector Graphics (PVG) 泊松矢量图形 |
侯飞 |
|
9 |
计算机科学国家重点实验室 |
The opacity of real-time automata实时自动机的不透明性
|
Lingtai Wang, Naijun Zhan, Jie An |
|
10 |
计算机科学国家重点实验室 |
基于负关联规则的软件缺陷挖掘
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection |
蔡彦 |
|
11 |
计算机科学国家重点实验室 |
基于LOP算子的优化使用的骨架提取方法
Improved Use of LOP for Curve Skeleton Extraction |
李雷,王文成 |
|
12 |
计算机科学国家重点实验室 |
挤压刺激网络
Squeeze-and-Excitation Networks |
胡杰,申丽, Samuel Albanie,孙刚,吴恩华 |
|
13 |
计算机科学国家重点实验室 |
Population Dynamics - in the Schelling model of segregation |
George Barmpalias, Richard Elwes, Andy Lewis-Pye |
|
14 |
计算机科学国家重点实验室 |
Robust Invariant Sets Generation for State-Constrained Perturbed (Polynomial) Systems状态约束不确定系统的不变集估计
|
Bai Xue, Qiuye Wang, NaijunZhan, Martin Fraenzle |
|
15 |
互联网软件技术实验室 |
iSENSE: Completion-Aware Crowdtesting Management任务完成感知的众测管理方法
|
Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, Qing Wang |
|
16 |
可信计算与信息保障实验室 |
面向医疗信息系统隐私保护的风险自适应访问控制
Privacy-Aware Risk-Adaptive Access Control in Health Information Systems using Topic Models |
张文夕,李昊,张敏,吕志泉 |
|
17 |
可信计算与信息保障实验室 |
Multiple Privacy Regimes Mechanism For Local Differential Privacy本地差分隐私应用中的一种多隐私预算机制
|
叶宇桐,张敏,冯登国,李昊,迟佳琳 |
|
18 |
可信计算与信息保障实验室 |
Fuzzing Program Logic Deeply Hidden in Binary Program Stages |
Yanhao Wang, Chua Zheng Leong, Yuwei Liu, Purui Su, Zhenkai Liang |
|
19 |
可信计算与信息保障实验室 |
One Engine To Serveém All: Inferring Taint Rules Without Architectural Semantics |
Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su |
|
20 |
人机交互技术与智能信息处理实验室 |
一种基于生成式对抗网络的草图补全与识别方法
SketchGAN: Joint Sketch Completion and Recognition with Generative Adversarial Network |
Fang Liu, Xiaoming Deng, Yu-Kun Lai, Yong-Jin Liu, Cuixia Ma, Hongan Wang |
|
21 |
人机交互技术与智能信息处理实验室 |
Reformulating Hyperelastic Materials with Peridynamic Modeling |
徐力有,何小伟,陈伟,李胜,汪国平 |
|
22 |
人机交互技术与智能信息处理实验室 |
SmartEye：Assisting Instant Photo Taking via Integrating User Preference with Deep View Proposal Network |
马帅，田丰，范向民，魏子钧，黄进、Jianming Zhang、Radomir Mech、Dimitris Samaras、王宏安 |
|
23 |
软件工程技术研究开发中心 |
安卓应用中误暴露组件的分析与检测
Characterizing and Identifying Misexposed Activities in Android Apps |
燕季薇,邓茜,王平,吴添勇,严俊,张健 |
|
24 |
软件工程技术研究开发中心 |
基于Wi-Fi信号的健身行为识别
Towards a Diffraction-based Sensing Approach on Human Activity Recognition |
张扶桑,金蓓弘 |
|
25 |
软件工程技术研究开发中心 |
电子表格中可扩展单元组识别
Expandable Group Identification in Spreadsheets |
窦文生,韩石,徐良,张冬梅,魏峻 |
|
26 |
软件工程技术研究开发中心 |
大规模分布式系统中节点失效恢复缺陷实证研究
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems |
高钰,窦文生,秦锋,高楚舒,王栋,魏峻,黄瑞瑞,周利,吴永明 |
|
27 |
软件工程技术研究开发中心 |
An Experimental Evaluation of Garbage Collectors on Big Data Applications |
Lijie Xu, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei |
|
28 |
软件工程技术研究开发中心 |
Aladdin: Optimized Maximum An Experimental Evaluation of Garbage Collectors on Big Data ApplicationsFlow Management for Shared Production Clusters (IPDPS 2019) |
Heng Wu, Wenbo Zhang, Yuanjia Xu, Hao Xiang, Tao Huang, Haiyang Ding, Zhen Zhang |
|
29 |
软件发展研究部 |
响应式许可链基础组件----RepChain
RepChain----A permissioned blockchain toolkit implemented by reactive programming |
李春晓,陈胜,郑龙帅,左春,蒋步云,梁赓 |
|
30 |
天基综合信息系统重点实验室 |
基于图像深度学习的无线电信号识别 |
周鑫,郑昌文,何晓新 |
|
31 |
天基综合信息系统重点实验室 |
遥感图像语义分割的方法比较研究
A Comparison and Strategy of Semantic Segmentation on Remote Sensing Images |
胡俊星,李玲,林翊钧,吴凤鸽,赵军锁 |
|
32 |
天基综合信息系统重点实验室 |
细粒度分类数据增强方法研究 |
路俊峰,廖名学 |
|
33 |
天基综合信息系统重点实验室 |
使用深度学习排序音乐片段
Sequencing the musical sections with deep learning |
崔轩阁,廖名学,吕品,郑昌文 |
|
34 |
天基综合信息系统重点实验室 |
Global Features of Fused Frame Relationships Help Video Classification |
Mengyao Kong, Pin Lv |
|
35 |
天基综合信息系统重点实验室 |
基于特征融合网络的场景文字检测方法
Feature fusion network for scene text detection |
蔡晨沁,吕品,苏冰 |
|
36 |
天基综合信息系统重点实验室 |
Multi-Critic DDPG Method and Double Experience Replay多critic的DDPG算法和双经验池结构
|
吴蛟,王瑞,李瑞英,张慧,胡晓惠 |
|
37 |
天基综合信息系统重点实验室 |
基于保序最优传输的序列距离
Order-preserving Optimal Transport for Distances between Sequences |
Bing Su, Gang Hua |
|
38 |
天基综合信息系统重点实验室 |
Historical Best Q-Networks for Deep Reinforcement Learning基于历史最优Q网络的强化学习方法
|
Wenwu Yu, Rui Wang, Ruiying Li, Jing Gao, Xiaohui Hu |
|
39 |
智能软件研究中心 |
dAMP: 可微分抽象机混合编程系统 |
周鹏,武延军,赵琛 |
|
40 |
智能软件研究中心 |
尺度不变的全卷积神经网络：高效的人手检测
Scale Invariant Fully Convolutional Network: Detecting Hands Efficiently |
刘丹,独大为,张立波,罗铁坚,武延军,黄飞跃, Siwei Lyu |
|
41 |
中文信息处理实验室 |
基于准确文本增强的知识表示学习方法
Accurate Text-Enhanced Knowledge Graph Representation Learning |
安波,韩先培,孙乐 |
|
42 |
中文信息处理实验室 |
基于区块提议网络的中文事件检测
Nugget Proposal Networks for Chinese Event Detection |
林鸿宇,陆垚杰,韩先培,孙乐 |
|
43 |
总体部 |
Energy-Efficient Phase-Aware Load Balancing on asymmetric multicore processors基于非对称多核处理器的低功耗负载均衡方法 |
赵珊,郝春亮,翟健,李明树 |
