QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 towards practical abox abduction in large description logic ontologies 期刊论文 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z. 收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   approximating linear order inference in owl 2 dl by horn compilation 会议论文 2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012 Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong 收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22 Data description  Polynomial approximation   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. 收藏  |  浏览/下载：5/0  |  提交时间：2013/10/08 Artificial intelligence  Data description  Logic programming  PROLOG (programming language)   a decomposition-based approach to owl dl ontology diagnosis 会议论文 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, United states, November 7 Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong 收藏  |  浏览/下载：7/0  |  提交时间：2013/10/08 Artificial intelligence  Data description  Decomposition   fast complete memory consistency verification 会议论文 2008 IEEE International Conference on Mechatronics and Automation, ICMA 2008, Takamatsu, Japan, August 5, Yunji Chen; Yi Lv; Weiwu Hu; Tianshi Chen; Haihua Shen; Pengyu Wang; Hong Pan 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/20 Computer architecture   environment abstraction with state clustering and parameter truncating 会议论文 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Pan Hong; Lv Yi; Lin Huimin 收藏  |  浏览/下载：10/0  |  提交时间：2011/03/20 Computer software  Model checking   computing invariants for parameter abstraction 会议论文 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong 收藏  |  浏览/下载：14/0  |  提交时间：2011/06/29 cache coherence protocols  combining invariants computing  data consistency error  guard strengthening methods  parameter abstraction  parameterized model checking  transition rules  abstract data types  cache storage  data integrity  program verification   model checking data consistency for cache coherence protocols 期刊论文 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi 收藏  |  浏览/下载：14/0  |  提交时间：2010/08/11 concurrent systems  cache coherence protocols  value-passing  symbolic transition graphs  model checking  VERIFICATION