CORC

浏览/检索结果: 共63条,第1-10条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载:20/0  |  提交时间:2016/12/09
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 6, 页码: 1358-1369
Yu, XL; Wu, WL; Shi, ZQ; Zhang, J; Zhang, L; Wang, YF
收藏  |  浏览/下载:26/0  |  提交时间:2016/12/13
Remote sensing image segmentation based on Dynamic Statistical Region Merging 期刊论文
Optik, 2014, 卷号: 125, 期号: 2, 页码: 870-875
Huang, Zhijian (1); Zhang, Jinfang (2); Li, Xiang (1); Zhang, Hui (2)
收藏  |  浏览/下载:18/0  |  提交时间:2014/12/16
Symbolic termination analysis of solvable loops 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin
收藏  |  浏览/下载:22/0  |  提交时间:2014/12/16
低轮MIBS分组密码的积分分析 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 10, 页码: 2117-2125
于晓丽; 吴文玲; 李艳俊
收藏  |  浏览/下载:13/0  |  提交时间:2014/12/16
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees 会议论文
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1); Zhang, Yang (2); Cheng, Liang (2)
收藏  |  浏览/下载:22/0  |  提交时间:2014/12/16
基于组合线性最小二乘回归的盲定量隐写分析 期刊论文
计算机应用与软件, 2013, 卷号: 30, 期号: 8, 页码: 1-3,8
张纪宇; 赵险峰; 黄炜; 盛任农
收藏  |  浏览/下载:16/0  |  提交时间:2014/12/16
An Improved KM Algorithm for Computing Structural Index of DAE System 会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Zeng, Yan; Wu, Xuesong; Cao, Jianwen
收藏  |  浏览/下载:14/0  |  提交时间:2014/12/16
Scalable network traffic visualization using compressed graphs 会议论文
2013 IEEE International Conference on Big Data, Big Data 2013, Santa Clara, CA, United states, October 6, 2013 - October 9, 2013
Shi, Lei (1); Liac, Qi (2); Sun, Xiaohua (3); Chen, Yarui (4); Lin, Chuang (4)
收藏  |  浏览/下载:26/0  |  提交时间:2014/12/16
On the approximation of S-boxes via Maiorana-McFarland functions 期刊论文
IET Information Security, 2013, 卷号: 7, 期号: 2, 页码: 134-143
Wei, Yongzhuang (1); Pasalic, Enes (3)
收藏  |  浏览/下载:20/0  |  提交时间:2014/12/16


©版权所有 ©2017 CSpace - Powered by CSpace