QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Model repair for Markov decision processes 会议论文 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013 Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3) 收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 monitor-based statistical model checking for weighted metric temporal logic 会议论文 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, Merida, Venezuela, March 11, 2012 - March 15, 2012 Bulychev Peter; David Alexandre; Guldstrand Larsen Kim; Legay Axel; Li Guangyuan; Bgsted Poulsen Danny; Stainer Amelie 收藏  |  浏览/下载：8/0  |  提交时间：2013/09/22 Artificial intelligence  Semantics   a mobility model based on traffic flow theory for vehicular delay tolerant network 会议论文 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September Yang Wei-Dong; Liu Ji-Zhao; Zhu Hong-Song 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31 Ad hoc networks  Computation theory  Models  Routers  Topology  Traffic surveys   an trace based vehicular mobility model for simulation of vehicular delay tolerant networks 会议论文 Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842 Yang Wei-Dong; Liu Ji-Zhao; Zhou Xin-Yun 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31 Ad hoc networks  Models  Routers  Topology  Ubiquitous computing  Vehicles   parallel preconditioners for large scale partial difference equation systems 会议论文 1st International Conference on Numerical Algebra and Scientific Computing (NASC06), Beijing, PEOPLES R CHINA, DEC 22-25, Sun Jia-Chang; Cao Jian-Wen; Yang Chao 收藏  |  浏览/下载：10/0  |  提交时间：2011/03/20 PDE-based parallel preconditioner  Partial difference equations  DASP   volume computation for boolean combination of linear arithmetic constraints 会议论文 22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07, Ma Feifei; Liu Sheng; Zhang Jian 收藏  |  浏览/下载：16/0  |  提交时间：2011/03/20 Automation  Boolean functions  Formal logic  Learning algorithms  Topology   an approximate approach to constraint solving in soft sensing 会议论文 24th Annual ACM Symposium on Applied Computing, SAC 2009, Honolulu, HI, United states, 37323 Yang Tian; Liao Zaifei; Lu Xinjie; Wang Hongan 收藏  |  浏览/下载：9/0  |  提交时间：2011/03/20 Granular computing  Measurements  Sensors