×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [15]
内容类型
会议论文 [7]
学位论文 [4]
期刊论文 [4]
发表日期
2015 [1]
2014 [1]
2013 [4]
2012 [2]
2010 [1]
2009 [5]
更多...
学科主题
Computer S... [1]
计算机科学技术基础学... [1]
计算机软件 [1]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共15条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于隐语义图谱的桌面搜索方法研究及应用
学位论文
硕士, 北京: 中国科学院研究生院, 2015
皇甫杨
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2015/06/24
隐语义建模
图模型
信息检索
桌面搜索
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval
会议论文
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1)
;
Liu, Kuien (1)
;
Zhang, Wen (1)
;
Zhou, Peng (1)
;
Wu, Yanjun (1)
;
Wang, Qing (1)
;
Zhu, Jia (4)
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
Latent Semantic Discovery
Graph Model
Information Retrieval
Visual analysis of large-scale network anomalies
期刊论文
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2013, 卷号: 57, 期号: 3-4
Liao, Q.
;
Shi, L.
;
Wang, C.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/16
HONEYBEE MATING OPTIMIZATION ALGORITHM FOR TASK ASSIGNMENT IN HETEROGENEOUS COMPUTING SYSTEMS
期刊论文
INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2013, 卷号: 19, 期号: 1, 页码: 69-84
Kang, Qinma
;
He, Hong
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Meta-heuristics
Task assignment
Heterogeneous distributed computing
Task interaction graph
Honeybee mating optimization
An Improved KM Algorithm for Computing Structural Index of DAE System
会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Zeng, Yan
;
Wu, Xuesong
;
Cao, Jianwen
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
DAE
Index Reduction
Structural Index
Bipartite Graph
Greedy
KM Algorithm
Task assignment for minimizing application completion time using honeybee mating optimization
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2013, 卷号: 7, 期号: 3, 页码: 404-415
Kang, Qinma
;
He, Hong
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2014/12/16
heterogeneous distributed computing
task assignment
task interaction graph
honeybee mating optimization
meta-heuristics
基于带赋值符号迁移图的Monte Carlo模型检测
学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2012/06/13
Monte Carlo 模型检测
线性时序逻辑模型检测
带赋值符号迁移图
有导向的随机搜索
启发式算法
a novel bayesian network structure learning algorithm based on maximal information coefficient
会议论文
2012 IEEE 5th International Conference on Advanced Computational Intelligence, ICACI 2012, Nanjing, China, October 18, 2012 - October 20, 2012
Zhang Yinghua
;
Hu Qiping
;
Zhang Wensheng
;
Liu Jin
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2013/09/22
Artificial intelligence
Equivalence classes
Learning algorithms
JUTA:一个Java自动化单元测试工具
期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊
;
郭涛
;
阮辉
;
玄跻峰
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/05/23
Java单元测试
动态测试
静态测试
程序分析
符号执行Automatic testing
Data flow analysis
Errors
Java programming language
Regression analysis
Steel bridges
基于BDD的增量启发式搜索方法及其应用
学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
徐艳艳
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/03/17
A*算法
BDD
基于BDD的搜索
启发式搜索
增量搜索
©版权所有 ©2017 CSpace - Powered by
CSpace