机构

• 软件研究所 [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   |  收藏  |  浏览/下载：2/0  |  提交时间：2024/09/03 Abstraction-based control design  dynamic quantization  formal methods  linear temporal logic (LTL)   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   |  收藏  |  浏览/下载：14/0  |  提交时间：2019/09/17 Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes   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)   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   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   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Formal logic  Software engineering   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.   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   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   |  收藏  |  浏览/下载：28/0  |  提交时间：2013/09/22 Data description  Formal languages  Logic programming  Query processing  Semantic Web   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   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/22 Formal logic  Optimization   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   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/10/08 Atoms  Data description  Formal languages  Logic programming  Ontology  Semantic Web  Semantics  User interfaces   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/10/10 密码协议  时间相关  谓词模态逻辑  形式化语义Cryptography  Formal logic  Semantics   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   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/03/18 Calculations  Computational fluid dynamics  Design  Formal languages  Formal logic  Knowledge based systems  Multi agent systems  Robot programming  Robots  Sensors