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

Search Results

Help

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

 

1

 

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