机构

• 软件研究所 [3]
• 力学研究所 [1]
• 中国科学院大学 [1]

采集方式

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

内容类型

• 期刊论文 [3]
• 会议论文 [2]

发表日期

• 2017 [1]
• 2015 [1]
• 2005 [2]
• 2003 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Elite bases regression: A real-time algorithm for symbolic regression 会议论文  OAI收割 Guilin, Guangxi, China, July 29, 2017 - July 31, 2017 作者:  Chen C(陈辰);  Luo ZT(罗长童);  Jiang ZL(姜宗林)   |  收藏  |  浏览/下载：54/0  |  提交时间：2018/11/08 Data mining  Fuzzy systems  Genetic algorithms  Genetic programming  Iterative methods  Learning systems  Comparative studies  Correlation coefficient  Function extraction  Large  scale problem  Machine learning methods  Real time algorithms  Symbolic regression  Symbolic regression problems   Transient Reward Approximation for Continuous-Time Markov Chains 期刊论文  OAI收割 IEEE TRANSACTIONS ON RELIABILITY, 2015, 卷号: 64, 期号: 4, 页码: 1254-1275 Hahn, EM; Hermanns, H; Wimmer, R; Becker, B   |  收藏  |  浏览/下载：34/0  |  提交时间：2016/12/13 Continuous-time Markov chains  continuous-time Markov decision processes  abstraction  symbolic methods  ordered binary decision diagrams   symbolic model checking of finite precision timed automata 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/28 finite precision timed automata  model checking  symbolic methods   Symbolic model checking of finite precision timed automata 期刊论文  iSwitch采集 Theoretical aspects of computing - ictac 2005, 2005, 卷号: 3722, 页码: 272-287 作者:  Yan, RJ;  Li, GY;  Tang, ZS 收藏  |  浏览/下载：26/0  |  提交时间：2019/05/10 Finite precision timed automata  Model checking  Symbolic methods   模型检测新技术研究 期刊论文  OAI收割 计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 Model checking  State explosion  Symbolic model checking  positional reasoning  Real-time system  Hybrid system  模型  检测  新技术研究  model checking  mathematical methods  concurrent system  hybrid systems  state space