中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [6]
计算机科学国家重点实... [2]
综合信息系统技术国家... [1]
软件工程技术研究开发... [1]
基础软件国家工程研究... [1]
作者
Content Type
会议论文 [6]
期刊论文 [5]
Issued Date
Language
英语 [5]
中文 [3]
Source
lecture no... [3]
2007 inter... [1]
internatio... [1]
neurocompu... [1]
proceeding... [1]
更多...
Project
Indexed
EI [9]
SCI [1]
WANFANG [1]
Spnsorship
ieee commu... [1]
oxford bro... [1]
spanish go... [1]
yantai uni... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 11)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
solving difficult sat problems by using obdds and greedy clique decomposition
[会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Xu Yanyan
;
Chen Wei
;
Su Kaile
;
Zhang Wenhui
greedy clique decomposition for symbolic satisfiability solving
[期刊论文]
International Journal of Advancements in Computing Technology, 2012-01-01, 卷号: 4, 期号: 10, 页码: 174-184
Xu Yanyan
;
Chen Wei
;
Su Kaile
;
Zhang Wenhui
discovering hot topics from geo-tagged video
[期刊论文]
Neurocomputing, 2012-01-01, 卷号: 105, 页码: -
Liu Kuien
;
Xu Jiajie
;
Zhang Longfei
;
Ding Zhiming
;
Li Mingshu
地球与大气反射光对空间光学传感器探测能力的影响仿真研究
[期刊论文]
宇航学报, 2011-01-01, 卷号: 32, 期号: 2, 页码: 233-241
张利强
;
苏康
;
郑昌文
;
王海波
;
吴佳泽
  |  
automatically generating patch in binary programs using attribute-based taint analysis
[会议论文]
2010 International Conference on Information and Communications Security, ICICS 2010, Barcelona, Spain, 40878
Chen Kai
;
Lian Yifeng
;
Zhang Yingjun
  |  
a heuristic method for sensor scheduling in infrared leo constellation
[会议论文]
2010 6th International Conference on Natural Computation, ICNC10, Yantai, Shandong, China, August 10,
Deng Yong
;
Sun Fuchun
;
Zhang Zhongzhao
  |  
近似骨架导向的归约聚类算法
[期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜
;
李明楚
;
江贺
history heuristic based negotiation of service level agreements for composite service
[会议论文]
8th International Conference on Quality Software, QSIC 2008, Oxford, United kingdom, August 12,
Shiyang Ye
;
Jun Wei
  |  
automated design of non-repudiation security protocols
[会议论文]
2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007, Shanghai, China, September
Xue Haifeng
;
Zhang Huanguo
;
Qing Sihan
;
Yu Rongwei
  |  
finding relations among linear constraints
[会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun
;
Zhang Jian
;
Xu Zhongxing
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace