×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [81]
内容类型
会议论文 [38]
期刊论文 [34]
学位论文 [9]
发表日期
2019 [1]
2017 [1]
2016 [5]
2015 [1]
2014 [7]
2013 [11]
更多...
学科主题
Computer S... [2]
Automation... [1]
Computer S... [1]
Computer S... [1]
Computer S... [1]
人工智能::机器翻译 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共81条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
An Event Based Detection of Internal Threat to Information System
会议论文
5th International Conference on Harmony Search, Soft Computing and Applications, ICHSA 2019, Kunming, China, 2019-7-20 ~ 2019-7-22
作者:
Li, Zheng
;
Liu, Kun
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2021/01/05
Internal threat
Event detection
Rule engine
Complex event
大数据背景下集群取样调度关键技术研究
学位论文
博士, 北京: 中国科学院大学, 2017
作者:
郝春亮
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2017/07/08
集群
调度
取样方法
调度精确度
大数据
交互作业
随机游走
Crawling Hidden Objects with kNN Queries
期刊论文
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2016, 卷号: 28, 期号: 4, 页码: 912-924
Yan, H
;
Gong, ZG
;
Zhang, N
;
Huang, T
;
Zhong, H
;
Wei, J
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2016/12/09
Hidden databases
data crawling
location based services
kNN queries
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y
;
Yan, J
;
Choo, KKR
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2016/12/09
Concurrency analysis
Profiling
Dynamic analysis
Bug reproduction
Structural Information and Dynamical Complexity of Networks
期刊论文
IEEE TRANSACTIONS ON INFORMATION THEORY, 2016, 卷号: 62, 期号: 6, 页码: 3290-3339
Li, AS
;
Pan, YC
收藏
  |  
浏览/下载:42/0
  |  
提交时间:2016/12/09
Shannon entropy
structural information
dynamical complexity of networks
graph characterisation
networks
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
Partial MaxSAT
Local search
Hard and soft score
Initialization
基于Pushdown系统证明的可视化
学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/06/21
deductive reasoning
formal verification
alternating pushdown system
infinite state systems
基于树状线性规划搜索的单调速率优化设计
期刊论文
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力
;
王永吉
;
吴敬征
;
吕荫润
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2016/12/09
实时系统
单调速率
最优化
搜索算法
线性规划
可满足性模定理
认知无线电分簇子网频谱决策
期刊论文
计算机科学, 2014, 卷号: 41, 期号: 6, 页码: 27-30,68
赵俊
;
廖名学
;
何晓新
;
郑昌文
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2014/12/16
认知无线电
频谱决策
树形网络
多目标优化
回溯算法
Cognitive radio
Spectrum decision
Tree-based network
Multi-objective optimization
Backtracking algorithm
Efficient route search on hierarchical dynamic road networks
期刊论文
Distributed and Parallel Databases, 2014
Xu, Jiajie (1)
;
Gao, Yunjun (2)
;
Liu, Chengfei (3)
;
Zhao, Lei (1)
;
Ding, Zhiming (4)
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2014/12/16
©版权所有 ©2017 CSpace - Powered by
CSpace