×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [35]
内容类型
会议论文 [25]
期刊论文 [10]
发表日期
2011 [6]
2010 [1]
2009 [5]
2008 [1]
2007 [8]
2006 [2]
更多...
学科主题
Computer S... [1]
Computer S... [1]
Informatio... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共35条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
the complexity of weighted boolean #csp modulo k
会议论文
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, Dortmund, Germany, March 10, 2011 - March 12, 2011
Guo Heng
;
Huang Sangxia
;
Lu Pinyan
;
Xia Mingji
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/10/08
Computational complexity
the research of extracting minimal decision rules from the decision table in rough sets
会议论文
2010 International Conference on Frontiers of Manufacturing and Design Science, ICFMD2010, Chongqing, China, December 11, 2010 - December 12, 2010
Pan Wei
;
Huang Yijia
;
Wang Yangsheng
;
Yang Hongji
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/10/08
Algorithms
Computational complexity
Equivalence classes
Manufacture
Rough set theory
a covert timing channel via algorithmic complexity attacks: design and analysis
会议论文
2011 IEEE International Conference on Communications, ICC 2011, Kyoto, Japan, 5-Jun-20
Sun Xiaoshan
;
Cheng Liang
;
Zhang Yang
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/10/10
Access control
Algorithms
Computational complexity
Design
the complexity and approximability of minimum contamination problems
会议论文
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo Japan, 2011
Li Angsheng
;
Tang Linqing
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/10/10
Approximation algorithms
Computational complexity
Water cooling systems
对Bivium流密码的变元猜测代数攻击
期刊论文
电子学报, 2011, 卷号: 39, 期号: 8, 页码: 1727-1732
李昕
;
林东岱
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/10/10
方程组求解
Grbner基
Bivium流密码算法
猜测决策算法
矛盾等式Algebra
Algorithms
Computational complexity
fast verification of memory consistency for chip multi-processor
会议论文
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv
;
Chen Hao
;
Chen Feng
;
Yi Lv
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2013/10/08
Algorithms
Artificial intelligence
Computational complexity
Program processors
Real time systems
Software testing
unbalanced graph partitioning
会议论文
21st Annual International Symposium on Algorithms and Computations, ISAAC 2010, Jeju Island, Korea, Republic of, 40878
Li Angsheng
;
Zhang Peng
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/03/31
Computational complexity
Trees (mathematics)
近似骨架导向的归约聚类算法
期刊论文
电子与信息学报, 2009, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜
;
李明楚
;
江贺
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/03/18
聚类问题
NP-难解
启发式算法
近似骨架
Clustering issue
NP-hard
Heuristic algorithm
Approximate backbone
骨架导向
归约
聚类算法
optimal solutions
近似骨架
search space
局部最优解
clustering algorithm
Reduction Algorithm
聚类问题
high quality
算法收敛速度
数据集
研究成果
搜索空间
实验结果
聚类质量
基本思想
骨架特征
multipleCluster analysis
Computational complexity
Feature extraction
Heuristic algorithms
Heuristic methods
Optimal systems
a direct construction of polynomial-size obdd proof of pigeon hole problem
期刊论文
INFORMATION PROCESSING LETTERS, 2009, 卷号: 109, 期号: 10, 页码: 472-477
Chen Wei
;
Zhang Wenhui
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/03/18
Propositional proof systems
Binary decision diagrams
Pigeon hole problem
Proof complexity
Computational complexity
approximation and hardness results for label cut and related problems
会议论文
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Zhang Peng
;
Cai Jin-Yi
;
Tang Linqing
;
Zhao Wenbo
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/03/20
Approximation algorithms
Combinatorial optimization
Computational complexity
Graph theory
Hardness
©版权所有 ©2017 CSpace - Powered by
CSpace