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

Search Results

Help

Item hits: (Results 21-30 of 156)

Filters            
Items/Page:    Sort:
physically based simulation of thin-shell objects burning [会议论文]
Computer Graphics International Conference 2009, Victoria, CANADA, MAY 26-29,
Liu Shiguang; Liu Qiguang; An Tai; Sun Jizhou; Peng Qunsheng

 
adding delimited and composable control to a production programming environment [会议论文]
12th ACM SIGPLAN International Conference on Functional Programming, Freiburg, GERMANY, OCT 01-03,
Flatt Matthew; Yu Gang; Findler Robert Bruce; Felleisen Matthias
  |  
 
multiplicative linear secret sharing schemes based on connectivity of graphs [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Liu Mulan; Xiao Liangliang; Zhang Zhifang
  |  
 
behavior-based trust in wireless sensor network [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Huang L; Li L; Tan Q
  |  
 
mimo techniques in cluster-based wireless sensor networks [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Li J; Gu Y; Zhang W; Zhao BH
  |  
 
integrating grid with cryptographic computing [会议论文]
2nd Information Security Practice and Experience Conference (ISPEC 2006), Hangzhou, PEOPLES R CHINA, APR 11-14,
Jiang ZH; Lin DD; Xu L; Lin L
  |  
 
#3-regular bipartite planar vertex cover is #p-complete [会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Xia Mingji; Zhao Wenbo

 
an ontology definition framework for model driven development [会议论文]
International Conference on Computational Science and Its Applications (ICCSA 2006), Glasgow, SCOTLAND, MAY 08-AUG
Duan YC; Fu XL; Hu QW; Gu YQ
  |  
 
a new approximation algorithm for the k-facility location problem [会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Zhang Peng
  |  
 
an improved case-based approach to ltl model checking [会议论文]
2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), Heraklion, GREECE, SEP 08-09,
Pu F; Zhang WH; Wang SC
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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