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

Search Results

Help

Item hits: (Results 1-10 of 441)

Items/Page:    Sort:
Evaluating epistemic negation in answer set programming [期刊论文]
ARTIFICIAL INTELLIGENCE, 2016-01-01, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
  |  
 
New local search methods for partial MaxSAT [期刊论文]
ARTIFICIAL INTELLIGENCE, 2016-01-01, 卷号: 240, 页码: 1-18
Cai, SW; Luo, CA; Lin, JK; Su, KL
  |  
 
Scoring functions based on second level score for κ-SAT with long clauses [期刊论文]
Journal of Artificial Intelligence Research, 2014-01-01, 卷号: 51, 页码: 413-441
Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)

 
FLP answer set semantics without circular justifications for general logic programs [期刊论文]
Artificial Intelligence, 2014-01-01, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)

 
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013-01-01, 卷号: 8202 LNAI, 页码: V-VI
Sun, Maosong (1); Liu, Ting (2); Sun, Le (3); Zhang, Min (4); Lin, Dekang (5); Wang, Haifeng (6)

 
tracking end-effectors for marker-less 3d human motion estimation in multi-view image sequences [会议论文]
15th International Conference on Human-Computer Interaction, HCI International 2013, Las Vegas, NV, United states, July 21, 2013 - July 26, 2013
Wang Wenzhong; Wang Zhaoqi; Deng Xiaoming; Luo Bin

 
an improved time-memory-data trade-off attack against irregularly clocked and filtered keystream generators [会议论文]
8th China International Conference on Information Security and Cryptology, INSCRYPT 2012, Beijing, China, November 28, 2012 - November 30, 2012
Jiao Lin; Wang Mingsheng; Zhang Bin; Li Yongqiang

 
improved key recovery attacks on reduced-round salsa20 and chacha [会议论文]
15th International Conference on Information Security and Cryptology, ICISC 2012, Seoul, Korea, Republic of, November 28, 2012 - November 30, 2012
Shi Zhenqing; Zhang Bin; Feng Dengguo; Wu Wenling

 
recursive diffusion layers for (lightweight) block ciphers and hash functions [会议论文]
19th International Conference on Selected Areas in Cryptography, SAC 2012, Windsor, ON, Canada, August 15, 2012 - August 16, 2012
Wu Shengbao; Wang Mingsheng; Wu Wenling

 
weak keys of the full misty1 block cipher for related-key differential cryptanalysis [会议论文]
Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013, San Francisco, CA, United states, February 25, 2013 - March 1, 2013
Lu Jiqiang; Yap Wun-She; Wei Yongzhuang

 

1 2 3 4 5 6 7 8 9 10 next

 

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