中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Language
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
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)

 
A tractable approach to ABox abduction over description logic ontologies [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Du, Jianfeng (1); Wang, Kewen (2); Shen, Yi-Dong (3)

 
AUGEM: Automatically generate high performance dense linear algebra kernels on x86 CPUs [会议论文]
2013 International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2013, Denver, CO, United states, November 17, 2013 - November 22, 2013
Wang, Qian (1); Zhang, Xianyi (1); Zhang, Yunquan (2); Yi, Qing (3)

 
A self-supervised framework for clustering ensemble [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Du, Liang (1); Shen, Yi-Dong (1); Shen, Zhiyong (4); Wang, Jianying (5); Xu, Zhiwu (1)

 
virtualization detection based on data fusion [会议论文]
2012 International Conference on Computer Science and Information Processing, CSIP 2012, Xi'an, Shaanxi, China, August 24, 2012 - August 26, 2012
Wang Jia-Bin; Lian Yi-Feng; Chen Kai

 
flp semantics without circular justifications for general logic programs [会议论文]
26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12, Toronto, ON, Canada, July 22, 2012 - July 26, 2012
Shen Yi-Dong; Wang Kewen

 
improved linear analysis on block cipher multi2 [会议论文]
11th International Conference on Cryptology and Network Security, CANS 2012, Darmstadt, Germany, December 12, 2012 - December 14, 2012
Lu Yi; Ding Liping; Wang Yongji

 
physical material editing with structure embedding for animated solid [会议论文]
38th Graphics Interface Conference, GI 2012, Toronto, ON, Canada, May 28, 2012 - May 30, 2012
Liu Ning; He Xiaowei; Ren Yi; Li Sheng; Wang Guoping

 
fault detection of the camellia cipher against single byte differential fault analysis [期刊论文]
APPLIED MATHEMATICS & INFORMATION SCIENCES, 2012-01-01, 卷号: 6, 期号: 3, 页码: 951-957
Li Wei; Xia Xiaoling; Wang Yi

 
web service schema matching based on characteristic vector [会议论文]
2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011, Beijing, China, July 15, 2011 - July 17, 2011
Wang Ke; Ou Wei-Jie; Zeng Cheng; Li De-Yi; Peng Zhi-Yong

 

1 2 next

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