中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

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


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In