机构

• 软件研究所 [17]
• 自动化研究所 [3]
• 计算技术研究所 [2]
• 长春光学精密机械与物... [1]
• 中国科学院大学 [1]

采集方式

• OAI收割 [23]
• iSwitch采集 [1]

内容类型

• 期刊论文 [15]
• 会议论文 [9]

发表日期

• 2024 [1]
• 2018 [1]
• 2014 [1]
• 2012 [4]
• 2011 [2]
• 2009 [3]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文  OAI收割 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo   |  收藏  |   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |   on model construction for modal mu-calculus 会议论文  OAI收割 IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012 Qu Nan   |  收藏  |   towards practical abox abduction in large description logic ontologies 期刊论文  OAI收割 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.   |  收藏  |   a new matchmaking approach based on abductive conjunctive query answering 会议论文  OAI收割 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong   |  收藏  |   faulty interaction identification via constraint solving and optimization 会议论文  OAI收割 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, June 17, 2012 - June 20, 2012 Zhang Jian; Ma Feifei; Zhang Zhiqiang   |  收藏  |   extending logic programs with description logic expressions for the semantic web 会议论文  OAI收割 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen   |  收藏  |   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |   action reasoning independent of designer 期刊论文  OAI收割 Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 卷号: 46, 期号: 11, 页码: 1917-1924 Zhou Shengming; Wang Ju; Jiang Yuncheng   |  收藏  |