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

Search Results

Help

Item hits: (Results 1-10 of 38)

Filters    
Items/Page:    Sort:
image-based clothes animation for virtual fitting [会议论文]
SIGGRAPH Asia 2012 Technical Briefs, SA 2012, Singapore, Singapore, November 28, 2012 - December 1, 2012
Zhou Zhenglong; Shu Bo; Zhuo Shaojie; Deng Xiaoming; Tan Ping; Lin Stephen

 
emerald: an automated modeling and verification tool for component-based real-time systems [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Zhang Yizhou; Lin Hao; Li Guoqiang

 
fast verification of memory consistency for chip multi-processor [会议论文]
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv; Chen Hao; Chen Feng; Yi Lv

 
a kind of fog visualization methods in three-dimensional geographic information system [会议论文]
3rd International Symposium on Information Science and Engineering, ISISE 2010, Shanghai, China, December 14, 2010 - December 26, 2010
Jian-Hong Gan; Tong-Li He

 
software redundancy design for a human-machine interface in railway vehicles [会议论文]
12th International Conference on Computer System Design and Operation in the Railways and other Transit Systems, COMPRAIL 2010, Beijing, China, August 31,
Zheng G.; Chen J.

 
shorter verifier-local revocation group signature with backward unlinkability [会议论文]
4th International Conference on Pairing-Based Cryptography, Pairing 2010, Kaga, Japan, 40878
Wei Lingbo; Liu Jianwei
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
a cyber-physical system for elders monitoring [会议论文]
12th International Conference on Enterprise Information Systems, ICEIS 2010, Funchal, Portugal, 43990
Li Xiang; Qiao Ying; Wang Hongan

 
qos-aware publish-subscribe service for real-time data acquisition [会议论文]
2nd International Workshop on Business Intelligence for the Real-Time Enterprise (BIRTE 2008), Auckland, NEW ZEALAND, 44067
Lu Xinjie; Li Xin; Yang Tian; Liao Zaifei; Liu Wei; Wang Hongan

 
an approach to handle overload in real-time data stream management system [会议论文]
5th International Conference on Fuzzy Systems and Knowledge Discovery, Jinan, PEOPLES R CHINA, OCT 18-20,
Ma Li; Li Xin; Wang Yongyan; Wang Hong-an
  |  
 

1 2 3 4 next

 

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