中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 26)

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

 
optimal task execution times for periodic tasks using nonlinear constrained optimization [期刊论文]
Journal of Supercomputing, 2010-01-01, 页码: 40562
Min-Allah Nasro; Khan Samee Ullah; Yongji Wang
  |  
 
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

 
a hybrid model for distributed semantic queries [会议论文]
9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, 40848
Ma Yinglong; Jin Beihong; Zhang Shipeng
  |  
 

1 2 3 next

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