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

Search Results

Help

Item hits: (Results 1-10 of 68)

Filters    
Items/Page:    Sort:
Combining symmetry reduction with generalized symbolic trajectory evaluation [期刊论文]
Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)

 
Investigating dependencies in software requirements for change propagation analysis [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 1, 页码: 40-53
Zhang, He (1); Li, Juan (3); Zhu, Liming (2); Jeffery, Ross (2); Liu, Yan (4); Wang, Qing (3); Li, Mingshu (3)

 
Kernel Density Estimation, Kernel Methods, and Fast Learning in Large Data Sets [期刊论文]
IEEE TRANSACTIONS ON CYBERNETICS, 2014-01-01, 卷号: 44, 期号: 1, 页码: 1-20
Wang, Shitong; Wang, Jun; Chung, Fu-lai

 
Remote sensing image segmentation based on Dynamic Statistical Region Merging [期刊论文]
Optik, 2014-01-01, 卷号: 125, 期号: 2, 页码: 870-875
Huang, Zhijian (1); Zhang, Jinfang (2); Li, Xiang (1); Zhang, Hui (2)

 
Workload-aware anomaly detection for web applications [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 89, 期号: 1, 页码: 19-32
Wang, Tao (1); Wei, Jun (1); Zhang, Wenbo (2); Zhong, Hua (2); Huang, Tao (1)

 
The higher-order meet-in-The-middle attack and its application to the Camellia block cipher [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 527, 页码: 102-122
Lu, Jiqiang (1); Wei, Yongzhuang (2); Kim, Jongsung (4); Pasalic, Enes (5)

 
A constraint-weaving approach to points-to analysis for AspectJ [期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 1, 页码: 52-68
Sun, Qiang (1); Chen, Yuting (1); Zhao, Jianjun (1)

 
A sketch-based approach for interactive organization of video clips [期刊论文]
ACM Transactions on Multimedia Computing, Communications and Applications, 2014-01-01, 卷号: 11, 期号: 1
Liu, Yong-Jin (1); Ma, Cui-Xia (2); Fu, Qiufang (3); Fu, Xiaolan (3); Qin, Sheng-Feng (4); Xie, Lexing (5)

 
Adaptive importance photon shooting technique [期刊论文]
Computers and Graphics (Pergamon), 2014-01-01, 卷号: 38, 期号: 1, 页码: 158-166
Liu, Xiao-Dan (1); Zheng, Chang-Wen (1)

 
A graph distance based metric for data oriented workflow retrieval with variable time constraints [期刊论文]
Expert Systems with Applications, 2014-01-01, 卷号: 41, 期号: 4 PART 1, 页码: 1377-1388
Ma, Yinglong (1); Zhang, Xiaolan (1); Lu, Ke (3)

 

1 2 3 4 5 6 7 next

 

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