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

Search Results

Help

Item hits: (Results 1-10 of 136)

Filters    
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
simulation and interaction of fluid dynamics [期刊论文]
The Visual Computer, 2007-01-01, 卷号: 23, 期号: 5, 页码: 299-308
Wu Enhua; Zhu Hongbin; Liu Xuehui; Liu Youquan
  |  
 
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
  |  
 
a vickrey-type multi-attribute auction model [会议论文]
4th International Conference on Machine Learning and Cybernetics, Guangzhou, PEOPLES R CHINA, AUG 18-21,
Chen Xiang; Hu Shan-li
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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