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

Search Results

Help

Item hits: (Results 61-70 of 186)

Filters        
Items/Page:    Sort:
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
  |  
 
the existence of high nonbounding degrees in the difference hierarchy [会议论文]
NZIMA Logic and Computation Workshop, Tahuna Beach, NEW ZEALAND, JAN 11-16,
Chong CT; Li A; Yang Y
  |  
 
approximate eigen-decomposition preconditioners for solving numerical pde problems [会议论文]
Meeting on Scientific Computing in Numerical PDEs, Matrix Theory and Engineering Application, Hong Kong, PEOPLES R CHINA
Sun HC
  |  
 
stick textures for image-based rendering [会议论文]
10th Symposium on Solid and Physical Modelling, Cambridge, MA, JUN 13-15,
Wang WC; Li KY; Wu EH
  |  
 
saqa: spatial and attribute based query aggregation in wireless sensor networks [会议论文]
International Conference on Embedded and Ubiquitous Computing, Seoul, SOUTH KOREA, AUG 01-04,
Jie Yang; Bo Yan; Lee Sungyoung; Cho Jinsung
  |  
 
semantic based approximate query across multiple ontologies [会议论文]
International Conference on Intelligent Computing (ICIC), Kunming, PEOPLES R CHINA, AUG 16-19,
Ma Yinglong; Jin Beihong
  |  
 
completing uml model of component-based system with middleware for performance evaluation [会议论文]
EUC 2006 Workshops, Seoul, SOUTH KOREA, AUG 01-04,
Zhang Yong; Chen Ningjiang; Wei Jun; Huang Tao
  |  
 
an id-based watermarking scheme for java programs [会议论文]
EUC 2006 Workshops, Seoul, SOUTH KOREA, AUG 01-04,
Yuan Zheng; Wen Qiaoyan; Wu Wenling; Zhang Ding
  |  
 
selection of materialized relations in ontology repository management system [会议论文]
1st International Conference on Knowledge Science, Engineering and Management, Guilin, PEOPLES R CHINA, AUG 05-08,
Li Man; Du Xiaoyong; Wang Shan
  |  
 
partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach [会议论文]
14th International Symposium on Formal Methods, Hamilton, CANADA, AUG 21-27,
Zheng Yujun; Wang Jinquan; Wang Kan; Xue Jinyun
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 next

 

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