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

Search Results

Help

Item hits: (Results 91-100 of 201)

Items/Page:    Sort:
a finite difference non-matching domain decomposition algorithm for the parabolic equation [期刊论文]
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2010-01-01, 卷号: 87, 期号: 11, 页码: 2480-2492
Wang Ting; Rui Hongxing
  |  
 
a fully implicit domain decomposition algorithm for shallow water equations on the cubed-sphere [会议论文]
10th Copper Mountain Conference on Iterative Methods, Copper Mt, CO, APR 06-11,
Yang Chao; Cao Jianwen; Cai Xiao-Chuan
  |  
 
computing most specific concept in description logic with n-ary existential quantifier [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2009-01-01, 卷号: 32, 期号: 8, 页码: 1500-1510
Jiang Yun-Cheng; Tang Su-Qin

 
effective and efficient event dissemination for rfid applications [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 8, 页码: 988-1005
Jin Beihong; Zhao Xinchao; Long Zhenyue; Qi Fengliang; Yu Shuang

 
enumerating proofs of positive formulae [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 7, 页码: 799-807
Dowek Gilles; Jiang Ying

 
formal analysis and testing of trusted platform module [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2009-01-01, 卷号: 32, 期号: 4, 页码: 646-653
Chen Xiao-Feng

 
lumiproxy: a hybrid representation of image-based models [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 3, 页码: 578-587
Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
  |  
 
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
runtime monitoring compositeweb services through stateful aspect extension [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 2, 页码: 294-308
Huang Tao; Wu Guo-Quan; Wei Jun

 
effect of using pragmatics information on question answering system of analects of confucius [期刊论文]
International Journal of Innovative Computing Information and Control, 2009-01-01, 卷号: 5, 期号: 5, 页码: 1201-1212
Yang Ye; Jiang Peilin; Tsuchiya Seiji; Ren Fuji
  |  
 

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

 

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