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

Search Results

Help

Item hits: (Results 1-7 of 7)

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)

 
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

 
openblas: a high performance blas library on loongson 3a cpu [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 208-216
Zhang Xian-Yi; Wang Qian; Zhang Yun-Quan

 
a user model based on mobile environment [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 120-128
Du Yi; Tian Feng; Dai Guo-Zhong; Wang Feng; Wang Hong-An

 
the loop formula based semantics of description logic programs [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: -
Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang

 
research on adaptive sketch user interface for virtual education application [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: SUPPL. 1, 页码: 298-305
Teng Dong-Xing; Du Yi; Ma Cui-Xia; Wang Hong-An; Dai Guo-Zhong
  |  
 
perceptual-control-based agent architecture model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: SUPPL. 1, 页码: 76-83
Hua Qing-Yi; Liu Qing-Fang; Yu Di; Wang Xiao-Wen

 

1

 

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