中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 74)

Items/Page:    Sort:
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
  |  
 
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
  |  
 
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
  |  
 
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

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace