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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
online/offline signatures for low-power devices [期刊论文]
IEEE Transactions on Information Forensics and Security, 2013-01-01, 卷号: 8, 期号: 2, 页码: 283-294
Yao Andrew Chi-Chih; Zhao Yunlei

 
a real-valued quantum genetic niching clustering algorithm and its application to color image segmentation [会议论文]
2011 IEEE International conference on Intelligent Computation and Bio-Medical Instrumentation, ICBMI 2011, Wuhan, Hubei, China, December 14, 2011 - December 17, 2011
Chang Dongxia; Zhao Yao; Zheng Changwen

 
a genetic clustering algorithm using a message-based similarity measure [会议论文]
Chang Dongxia; Zhao Yao; Zheng Changwen; Zhang Xianda
  |  
 
internet brand niche measuring and developing strategy [会议论文]
13th International Conference on Management Science and Engineering, Lille, FRANCE, OCT 05-07,
Weng Yao; Zhao Hong
  |  
 
internet brand niche measuring and developing strategy [会议论文]
13th International Conference on Management Science and Engineering, Lille, FRANCE, OCT 05-07,
Weng Yao; Zhao Hong
  |  
 

1

 

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