中国科学院软件研究所机构知识库
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
软件所图书馆 [43]
计算机科学国家重点实... [9]
多媒体通信和网络工程... [7]
信息安全国家重点实验... [5]
软件工程技术研究开发... [3]
更多...
作者
Content Type
会议论文 [51]
期刊论文 [23]
Issued Date
2016 [4]
Language
英语 [43]
中文 [1]
Source
lecture n... [10]
proceeding... [3]
ruan jian ... [3]
2008 ieee ... [2]
journal of... [2]
更多...
Project
Indexed
EI [40]
SCI [17]
ISTP [10]
CPCI [3]
IEEE [3]
更多...
Spnsorship
ieee signa... [5]
fujian nor... [2]
ieee [2]
imacs, iee... [2]
inst infoc... [2]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 74)
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
Multiphase until formulas over Markov reward models: An algebraic approach
[期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 611, 页码: 116-135
Xu, M
;
Zhang, LJ
;
Jansen, DN
;
Zhu, HB
;
Yang, ZY
  |  
Completeness of Hoare logic with inputs over the standard model
[期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28
Xu, ZW
;
Sui, YF
;
Zhang, WH
  |  
Clustering-based acceleration for virtual machine image deduplication in the cloud environment
[期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2016-01-01, 卷号: 121, 页码: 144-156
Xu, JW
;
Zhang, WB
;
Zhang, ZY
;
Wang, T
;
Huang, T
  |  
Time-Domain Numerical Solutions of Maxwell Interface Problems with Discontinuous Electromagnetic Waves
[期刊论文]
ADVANCES IN APPLIED MATHEMATICS AND MECHANICS, 2016-01-01, 卷号: 8, 期号: 3, 页码: 353-385
Zhang, Y
;
Nguyen, DD
;
Du, KW
;
Xu, J
;
Zhao, S
  |  
A novel multi-scale relative salience feature for remote sensing image analysis
[期刊论文]
Optik, 2014-01-01, 卷号: 125, 期号: 1, 页码: 516-520
Huang, Zhijian (1)
;
Zhang, Jinfang (2)
;
Xu, Fanjiang (2)
Adaptive algorithm for automated polygonal approximation of high spatial resolution remote sensing imagery segmentation contours
[期刊论文]
IEEE Transactions on Geoscience and Remote Sensing, 2014-01-01, 卷号: 52, 期号: 2, 页码: 1099-1106
Liu, Jianhua (1)
;
Zhang, Jinfang (3)
;
Xu, Fangjiang (3)
;
Huang, Zhijian (3)
;
Li, Yaping (3)
Quantum search algorithm based on fuzzy problem
[会议论文]
2013 3rd International Conference on Advanced Materials and Information Technology Processing, AMITP 2013, Los Angeles, CA, United states, October 1, 2013 - October 2, 2013
Zhuang, Jiayu (1)
;
Zhao, Junsuo (1)
;
Xu, Fanjiang (1)
;
Zhan, Wenjun (1)
;
Li, Dan (1)
;
Zhang, Heng (1)
Cross-domain metric learning based on information theory
[会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Wang, Hao (1)
;
Wang, Wei (2)
;
Zhang, Chen (2)
;
Xu, Fanjiang (2)
A multi-stage method to extract road from high resolution satellite image
[会议论文]
35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013
Zhijian, Huang (1)
;
Zhang, Jinfang (2)
;
Xu, Fanjiang (2)
Aerial image series quality assessment
[会议论文]
35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013
Zhang, Hui (1)
;
Li, Bangyu (1)
;
Zhang, Jinfang (1)
;
Xu, Fanjiang (1)
1
2
3
4
5
6
7
8
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace