中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文

view all items

(Results 1-20 of 1054)
Help
Items/Page:    Sort:
Water extraction in high resolution remote sensing image based on hierarchical spectrum and shape features [会议论文]
35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013
Li, Bangyu (1); Zhang, Hui (1); Xu, Fanjiang (1)
View/Download:2/0
 
Stereoscopic visual fatigue assessment and modeling [会议论文]
25th Stereoscopic Displays and Applications Conference, SD and A 2014, San Francisco, CA, United states, February 3, 2014 - February 5, 2014
Wang, Danli (1); Wang, Tingting (1); Gong, Yue (1)
View/Download:1/0
 
Super-dense computation in verification of hybrid CSP processes [会议论文]
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
View/Download:3/0
 
Anisotropic progressive photon mapping [会议论文]
5th International Conference on Graphic and Image Processing, ICGIP 2013, Hong Kong, China, October 26, 2013 - October 27, 2013
Liu, XiaoDan (1); Zheng, ChangWen (1)
View/Download:1/0
 
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation [会议论文]
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)
View/Download:1/0
 
A QoS-Based and Similarity-Based Service Composition Method [会议论文]
International Conference on Artificial Intelligence and Software Engineering (AISE), Phuket, THAILAND, JAN 11-12, 2014
Lin, Ling; Peng, Qi-min
View/Download:2/0
 
IscasMc: A web-based probabilistic model checker [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
View/Download:3/0
 
Efficient detection of emergency event from moving object data streams [会议论文]
19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, Bali, Indonesia, April 21, 2014 - April 24, 2014
Guo, Limin (1); Huang, Guangyan (2); Ding, Zhiming (1)
View/Download:2/0
 
A Novel privacy-preserving group matching scheme in social networks [会议论文]
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Chi, Jialin (1); Lv, Zhiquan (1); Zhang, Min (1); Li, Hao (1); Hong, Cheng (1); Feng, Dengguo (1)
View/Download:4/0
 
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval [会议论文]
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)
View/Download:1/0
 
Dynamic BFECC Characteristic Mapping method for fluid simulations [会议论文]
Li, Xiaosheng (1); Liu, Le (1); Wu, Wen (3); Liu, Xuehui (1); Wu, Enhua (1)
View/Download:4/0
 
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)
View/Download:2/0
 
Real-time depth-of-field rendering using single-layer composition [会议论文]
Fang, Xiaoxin (1); Sheng, Bin (1); Wu, Wen (3); Fan, Zengzhi (1); Ma, Lizhuang (1)
View/Download:3/0
 
A Modified Algorithm for Missing Values in Data Stream Decision Tree Classification [会议论文]
International Conference on Artificial Intelligence and Software Engineering (AISE), Phuket, THAILAND, JAN 11-12, 2014
Hou, Xu-shan; Lv, Pin; Wang, Hao
View/Download:2/0
 
Denial-of-service security attack in the continuous-time world [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)
View/Download:3/0
 
Efficient texture synthesis of aggregate solid material [会议论文]
Shu, Yue (1); Qian, Yinling (3); Sun, Hanqiu (3); Chen, Yanyun (1)
View/Download:5/0
 
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)
View/Download:3/0
 
Differential cryptanalysis and linear distinguisher of full-round Zorro [会议论文]
12th International Conference on Applied Cryptography and Network Security, ACNS 2014, Lausanne, Switzerland, June 10, 2014 - June 13, 2014
Wang, Yanfeng (1); Wu, Wenling (1); Guo, Zhiyuan (1); Yu, Xiaoli (1)
View/Download:2/0
 
Reflection cryptanalysis of PRINCE-like ciphers [会议论文]
20th International Workshop on Fast Software Encryption, FSE 2013, Singapore, Singapore, March 11, 2013 - March 13, 2013
Soleimany, Hadi (1); Blondeau, Cé; line (1); Yu, Xiaoli (2); Wu, Wenling (2); Nyberg, Kaisa (1); Zhang, Huiling (2); Zhang, Lei (2); Wang, Yanfeng (2)
View/Download:0/0
 
A feature-enriched tree kernel for relation extraction [会议论文]
52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, Baltimore, MD, United states, June 22, 2014 - June 27, 2014
Sun, Le (1); Han, Xianpei (1)
View/Download:4/0
 

 

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