中国开放科研知识云: 检索

Predicate Index Matching Algorithm Based on History Experience 会议论文
International Conference on Computer Science and Artificial Intelligence (ICCSAI), Chengdu, PEOPLES R CHINA, NOV 16-17, 2013
Wu, Yu-bin; Wang, Hai-bo

收藏 | 浏览/下载：12/0 | 提交时间：2014/12/16

assumption generation for asynchronous systems by abstraction refinement 会议论文
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu

收藏 | 浏览/下载：14/0 | 提交时间：2013/09/22

accountable authority identity-based encryption with public traceability 会议论文
Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013, San Francisco, CA, United states, February 25, 2013 - March 1, 2013
Lai Junzuo; Deng Robert H.; Zhao Yunlei; Weng Jian

收藏 | 浏览/下载：11/0 | 提交时间：2013/09/22

a recognition system for online handwritten tibetan characters 会议论文
9th IAPR Workshop on Graphics Recognition, GREC 2011, Seoul, Korea, Republic of, September 15, 2011 - September 16, 2011
Ma Long-Long; Wu Jian

收藏 | 浏览/下载：14/0 | 提交时间：2013/09/22

boomerang and slide-rotational analysis of the sm3 hash function 会议论文
19th International Conference on Selected Areas in Cryptography, SAC 2012, Windsor, ON, Canada, August 15, 2012 - August 16, 2012
Kircanski Aleksandar; Shen Yanzhao; Wang Gaoli; Youssef Amr M.

收藏 | 浏览/下载：8/0 | 提交时间：2013/09/22

a fast and high throughput sql query system for big data 会议论文
13th International Conference on Web Information Systems Engineering, WISE 2012, Paphos, Cyprus, November 28, 2012 - November 30, 2012
Zhu Feng; Liu Jie; Xu Lijie

收藏 | 浏览/下载：61/0 | 提交时间：2013/09/22

an abductive cqa based matchmaking system for finding renting houses 会议论文
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Qiu Che

收藏 | 浏览/下载：16/0 | 提交时间：2013/09/22

proving liveness property under strengthened compassion requirements 会议论文
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Long Teng; Zhang Wenhui

收藏 | 浏览/下载：7/0 | 提交时间：2013/09/22

preimage attacks on step-reduced sm3 hash function 会议论文
14th International Conference on Information Security and Cryptology, ICISC 2011, Seoul, Korea, Republic of, November 30, 2011 - December 2, 2011
Zou Jian; Wu Wenling; Wu Shuang; Su Bozhan; Dong Le

收藏 | 浏览/下载：13/0 | 提交时间：2013/09/22

on the probability distribution of the carry cells of stream ciphers f-fcsr-h v2 and f-fcsr-h v3 会议论文
7th China International Conference on Information Security and Cryptography, Inscrypt 2011, Beijing, China, November 30, 2011 - December 3, 2011
Song Haixin; Fan Xiubin; Wu Chuankun; Feng Dengguo

收藏 | 浏览/下载：12/0 | 提交时间：2013/09/22

在结果中检索