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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
Transient Reward Approximation for Continuous-Time Markov Chains [期刊论文]
IEEE TRANSACTIONS ON RELIABILITY, 2015-01-01, 卷号: 64, 期号: 4, 页码: 1254-1275
Hahn, EM; Hermanns, H; Wimmer, R; Becker, B
  |  
 
real-time vehicle detection based on haar features and pairwise geometrical histograms [会议论文]
2011 International Conference on Information and Automation, ICIA 2011, Shenzhen, China, June 6, 2011 - June 8, 2011
Yong Xi; Zhang Liwei; Song Zhangjun; Hu Ying; Zheng Lan; Zhang Jianwei

 
characterizations of locally testable linear- and affine-invariant families [会议论文]
17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14,
Li Angsheng; Pan Yicheng
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 
基于音频统计特性的数字水印嵌入算法 [期刊论文]
自动化学报, 2008-01-01, 卷号: 34, 期号: 8, 页码: 1001-1003
王向阳
  |  
 
improvements for the symbolic verification of timed automata [会议论文]
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan
  |  
 
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
  |  
 
一种分布式吴方法计算模型 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 3, 页码: 384-391
武永卫; 杨广文; 杨宏; 郑纬民; 林东岱
  |  
 
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 

1

 

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