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

Search Results

Help

Item hits: (Results 1-10 of 11)

Filters        
Items/Page:    Sort:
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
  |  
 
schema homomorphism - an algebraic framework for schema matching [会议论文]
10th Asian Computing Science Conference, Kunming, PEOPLES R CHINA, DEC 07-09,
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 
robin transmission conditions for overlapping additive schwarz method applied to linear elliptic problems [会议论文]
International Conference on Scientific Computing in Petroleum Industry (SCPI), Beijing, PEOPLES R CHINA, AUG 04-07,
Li Hongwei; Sun Jiachang
  |  
 
digital analysis technology for morphology of polymer chain coils in flow fields [会议论文]
6th International Symposium on Polymer Physics, Dali, PEOPLES R CHINA, JUN 01-05,
Zhou CX; Zheng H; Yu W; Yao JF; Li YC
  |  
 
the low splitting theorem in the difference hierarchy [会议论文]
1st Conference on Computability in Europe (CiE 2005), Amsterdam, NETHERLANDS, JUN 08-12,
Li AS
  |  
 
a three level cache-based adaptive chinese language model [会议论文]
1st International Joint Conference on Natural Language Processing (IJCNLP 2004), Hainan Isl, PEOPLES R CHINA, MAR 22-24,
Zhang JL; Sun L; Qu WM; Du L; Sun YF
  |  
 
multi-color difference schemes of helmholtz equation and its parallel fast solver over 3-d dodecahedron partitions [会议论文]
6th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, AUSTRALIA, OCT 02-03,
Sun JC
  |  
 
accurate long-tailed network traffic approximation and its queueing analysis by hyper-erlang distributions [会议论文]
30th Annual IEEE Conference on Local Computer Networks, Sydney, AUSTRALIA, NOV 15-17,
Wang JF; Zhou HX; Li L; Xu FJ
  |  
 
symbolic model checking of finite precision timed automata [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Yan RJ; Li GY; Tang ZS
  |  
 
a cue-based hub-authority approach for multi-document text summarization [会议论文]
International Conference on Natural Language Processing and Knowledge Engineering, Wuhan, PEOPLES R CHINA, OCT 30-NOV
Zhang JL; Sun L; Zhou Q
  |  
 

1 2 next

 

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