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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
电子表格复用分析及相关错误检测 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-01
徐良
  |  
 
A self-supervised framework for clustering ensemble [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Du, Liang (1); Shen, Yi-Dong (1); Shen, Zhiyong (4); Wang, Jianying (5); Xu, Zhiwu (1)

 
Who will follow your shop? Exploiting multiple information sources in finding followers [会议论文]
18th International Conference on Database Systems for Advanced Applications, DASFAA 2013, Wuhan, China, April 22, 2013 - April 25, 2013
Wu, Liang (2); Chin, Alvin (1); Xu, Guandong (3); Du, Liang (5); Wang, Xia (4); Meng, Kangjian (4); Guo, Yonggang (4); Zhou, Yuanchun (2)

 
script-to-movie: a computational framework for story movie composition [期刊论文]
IEEE Transactions on Multimedia, 2013-01-01, 卷号: 15, 期号: 2, 页码: 401-414
Liang Chao; Xu Changsheng; Cheng Jian; Min Weiqing; Lu Hanqing

 
developing interoperable electronic health record service in china [期刊论文]
International Journal of Digital Content Technology and its Applications, 2011-01-01, 卷号: 5, 期号: 4, 页码: 280-295
Liang Jun; Xu Meifang; Zhang Lizhong; Li Lanjuan; Zheng Xiaolin; Chen Deren; Yang Shengli; Li Baoluo; Jin Ou; Ji Zhou; Sun Junxiang

 
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
smt-based bounded model checking for real-time systems [会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Liang
  |  
 
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 
blind snr estimation for arbitrary linear modulated signals [会议论文]
50th Annual IEEE Global Telecommunications Conference, GLOBECOM 2007, Washington, DC, United states, 40849
Chang Liang; Wang Fuping; Xu Jin; Wang Zanji
  |  
 
gcs-ma: a group communication system for mobile agents [期刊论文]
Journal of Network and Computer Applications, 2007-01-01, 卷号: 30, 期号: 3, 页码: 1153-1172
Xu Wei; Cao Jiannong; Jin Beihong; Li Jing; Zhang Liang
  |  
 

1

 

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