中国科学院软件研究所机构知识库
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)

 
MOIR/UOTS: Trip Recommendation with User Oriented Trajectory Search [会议论文]
IEEE 14th International Conference on Mobile Data Management (MDM), Milan, ITALY, JUN 03-06, 2013
Liu, Kuien; Yang, Bin; Shang, Shuo; Li, Yaguang; Ding, Zhiming

 
retracted article: physically-based modeling and animation of tree branch patterns [会议论文]
The Visual Computer, 北京, 2010
Yang Meng; Sheng Bin; Wu Enhua; Sun Hanqiu

 
timeliness optimistic fair exchange protocol based on key-exposure-free chameleon hashing scheme [会议论文]
12th International Conference on Advanced Communication Technology: ICT for Green Growth and Sustainable Development, ICACT 2010, Korea, Republic of, 40581
Sun Yanbin; Gu Lize; Qing Sihan; Zheng Shihui; Sun Bin; Yang Yixian; Sun Yan
  |  
 
furstyling on angle-split shell textures [会议论文]
22nd International Conference on Computer Animation and Social Agents (CASA 2009), Amsterdam, NETHERLANDS, JUN 17-19,
Sheng Bin; Sun Hanqiu; Yang Gang; Wu Enhua

 
multi-level tree branch modeling and animation [学位论文]
, 2009-01-01
Yang Meng; Sheng Bin; Wu Enhua; Sun Hanqiu

 

1

 

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