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

Search Results

Help

Item hits: (Results 1-10 of 14)

Items/Page:    Sort:
energy consumption optimization for high-speed railway based on particle swarm algorithm [会议论文]
4th International Conference on Computational Intelligence and Communication Networks, CICN 2012, Mathura, Uttar Pradesh, India, November 3, 2012 - November 5, 2012
Sun Shiyao; Li Yang; Xu Huaiyu

 
外包数据库模型中的完整性检测方案 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 6, 页码: 1107-1115
咸鹤群; 冯登国
  |  
 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
macml: a domain-specific language for machinery service management [会议论文]
2010 International Conference on Service Sciences, ICSS 2010, Hangzhou, China, 43963
Yang Junwei; Hu Zhongxiang; Zheng Yujun
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
grid analysis environment service architecture for structured modeling [会议论文]
International Conference on E-Learning, E-Business, Enterprise Information Systems and E-Government, Hong Kong, PEOPLES R CHINA, DEC 05-06,
Dong Wenli

 
automated phase-ordering of loop optimizations based on polyhedron model [会议论文]
10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27,
Xue Yunzhi; Zhao Chen
  |  
 
a dynamic information flow model of secure systems [会议论文]
2nd ACM Symposium on Information, Computer and Communications Security, ASIACCS 07, Singapore, Singapore, March 20,
Shen Jianjun; Qing Sihan
  |  
 
early results for chinese named entity recognition using conditional random fields model, hmm and maximum entropy [会议论文]
International Conference on Natural Language Processing and Knowledge Engineering, Wuhan, PEOPLES R CHINA, OCT 30-NOV
Feng YY; Sun L; Zhang JL
  |  
 

1 2 next

 

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