Search Results

Item hits: (Results 91-100 of 201)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	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