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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
smt-based bounded model checking for real-time systems [会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Liang
  |  
 
online feasibility analysis with composite-deadline [会议论文]
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro; Ali Imran; Jian-Sheng Xing; Yong-Ji Wang
  |  
 
cluster analysis and optimization in color-based clustering for image abstract [会议论文]
17th IEEE International Conference on Data Mining Workshops, ICDM Workshops 2007, Omaha, NE, United states, 40844
He Jing; Huang Guangyan; Zhang Yanchun; Shi Yong
  |  
 
automatic generation of traditional style painting by using density-based color clustering [会议论文]
17th IEEE International Conference on Data Mining Workshops, ICDM Workshops 2007, Omaha, NE, United states, 40844
Huang Guangyan; Ding Zhiming; He Jing
  |  
 
b-spline surfaces of clustered point sets with normal maps [会议论文]
10th International Conference on Computer-Aided Design and Computer Graphics, Beijing, PEOPLES R CHINA, OCT 15-18,
Zhang Yanci; Sun Hanqiu; Wu Enhua
  |  
 
physically based simulation of fluid mixtures [会议论文]
2007 10th IEEE International Conference on Computer Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 40831
Wu Enhua
  |  
 

1

 

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