中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	Multi-sensor Data Fusion Based on Consistency Test and Sliding Window Variance Weighted Algorithm in Sensor Networks [期刊论文] COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2013-01-01, 卷号: 10, 期号: 1, 页码: 197-214 Shu, Jian; Hong, Ming; Zheng, Wei; Sun, Li-Min; Ge, Xu
	Symbolic termination analysis of solvable loops [期刊论文] JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin
	Some decidable results on reachability of solvable systems [期刊论文] INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425 Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin
	model checking conditional csl for continuous-time markov chains [期刊论文] Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun
	可解映射在程序与系统验证中的应用 [学位论文] 博士后, 北京: 中国科学院研究生院, 2012-06-01 徐鸣 \|
	real-time motion effect enhancement based on fluid dynamics in figure animation [会议论文] 10th International Conference on Virtual Reality Continuum and Its Applications in Industry, VRCAI'11, Hong Kong, China, December 11, 2011 - December 12, 2011 Xu Tian-Chen; Wu En-Hua; Chen Mo; Xie Ming
	a heuristic approach to positive root isolation for multiple power sums [期刊论文] JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010-01-01, 卷号: 16, 期号: 14, 页码: 1912-1926 Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin \|
	distributed fusion method under imperfect channel in wireless sensor networks [学位论文] , 2009-01-01 Xu Fan Jiang; Li Zhi Tang; Li Wei Ming


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In