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

Search Results

Help

Item hits: (Results 1-10 of 22)

Items/Page:    Sort:
Trace Abstraction Refinement for Solving Horn Clauses [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L

 
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
  |  
 
线条增强的建筑物图像抽象画生成 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 9, 页码: 1275-1280
柳有权; 吴宗胜; 韩红雷; 吴恩华

 
geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013-01-01, 卷号: 7788, 页码: 189-228
Kapur Deepak; Zhang Zhihai; Horbach Matthias; Zhao Hengjun; Lu Qi; Nguyen ThanhVu

 
ciphertext policy attribute-based encryption from lattices: extended abstract [会议论文]
7th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2012, Seoul, Korea, Republic of, May 2, 2012 - May 4, 2012
Zhang Jiang; Zhang Zhenfeng; Ge Aijun

 
attacking the dimensionality problem of parameterized systems via bounded reachability graphs [会议论文]
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu

 
a multi-compositional enforcement on information flow security [会议论文]
13th International Conference on Information and Communications Security, ICICS 2011, Beijing, China, November 2
Sun Cong; Zhai Ennan; Chen Zhong; Ma Jianfeng

 
efficiently retrieving longest common route patterns of moving objects by summarizing turning regions [会议论文]
15th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2011, Shenzhen, China, 24-May-20
Huang Guangyan; Zhang Yanchun; He Jing; Ding Zhiming
  |  
 
real-time coherent stylization for augmented reality [期刊论文]
VISUAL COMPUTER, 2010-01-01, 卷号: 26, 期号: 40702, 页码: 445-455
Wang Shandong; Cai Kangying; Lu Jian; Liu Xuehui; Wu Enhua
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 

1 2 3 next

 

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