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

Search Results

Help

Item hits: (Results 151-160 of 193)

Items/Page:    Sort:
a kernel-based algorithm for multilevel drawing web graphs [会议论文]
Computer Graphics, Imaging and Visualisation: New Advances, CGIV 2007, Bangkok, Thailand, August 13,
Huang Xiaodi; Lai Wei; Zhang Di; Huang Maolin; Nguyen Quang Vinh
  |  
 
improvements for the symbolic verification of timed automata [会议论文]
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan
  |  
 
decomposition of nets and verification in terms of decomposition [会议论文]
International Conference on Computational Intelligence for Modelling, Control and Automation/International Conference on Intelligent Agents Web Technologies and International Commerce, Vienna, AUSTRIA, NOV 28-30,
Li Jiao
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
optimization of covert channel identification [会议论文]
3rd International IEEE Security in Storage Workshop, San Francisco, CA, 12-13
Shen Jianjun; Qing Sihan; Shen Qingni; Li Liping
  |  
 
optimization of covert channel identification [会议论文]
3rd International IEEE Security in Storage Workshop, San Francisco, CA, 12-13
Shen Jianjun; Qing Sihan; Shen Qingni; Li Liping
  |  
 
experimental study on parameter choices in norm-r support vector regression machines with noisy input [期刊论文]
SOFT COMPUTING, 2006-01-01, 卷号: 10, 期号: 3, 页码: 219-223
Wang S; Zhu J; Chung FL; Dewen H
  |  
 
experimental study on parameter choices in norm-r support vector regression machines with noisy input [期刊论文]
SOFT COMPUTING, 2006-01-01, 卷号: 10, 期号: 3, 页码: 219-223
Wang S; Zhu J; Chung FL; Dewen H
  |  
 
experimental study on parameter choices in norm-r support vector regression machines with noisy input [期刊论文]
SOFT COMPUTING, 2006-01-01, 卷号: 10, 期号: 3, 页码: 219-223
Wang S; Zhu J; Chung FL; Dewen H
  |  
 
中文Linux输入法引擎标准研究 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 11, 页码: 1965-1971
谢谦; 姜力; 吴健; 孙玉芳
  |  
 

previous 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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