Search Results

Item hits: (Results 21-30 of 133)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	towards practical abox abduction in large owl dl ontologies [会议论文] 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United states, August 7, Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.
	set-theoretic foundation of parametric polymorphism and subtyping [会议论文] 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September Castagna Giuseppe; Xu Zhiwu
	extending logic programs with description logic expressions for the semantic web [会议论文] 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen
	decidable temporal dynamic description logic [期刊论文] Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng
	characterizations of one-way general quantum finite automata [期刊论文] Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: - Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus
	a dynamic fault localization technique with noise reduction for java programs [会议论文] 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02 Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping   |
	cupping and diamond embeddings: a unifying approach [会议论文] 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02 Fang Chengling; Liu Jiang; Wu Guohua   |
	a practical covert channel identification approach in source code based on directed information flow graph [会议论文] 2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02 Wu JingZheng; Ding Liping; Wang Yongji; Han Wei   |
	secure machine learning, a brief overview [会议论文] 2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02 Liao Xiaofeng; Ding Liping; Wang Yongji   |
	design and implementation of a graphical programming tool for children [会议论文] 2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02 Xiajian Chen; Danli Wang; Hongan Wang   |

previous 1 2 3 4 5 6 7 8 9 10 11 12 next