QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A distributed load balancing algorithm for climate big data processing over a multi-core CPU cluster 期刊论文 CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 卷号: 28, 期号: 15, 页码: 4144-4160 作者:  Wang, Yuzhu;  Jiang, Jinrong;  Ye, Huang;  He, Juanxiong 收藏  |  浏览/下载：25/0  |  提交时间：2017/04/24 TERRESTRIAL ECOSYSTEMS  TROPOSPHERIC OZONE  RANDOM FORESTS  CLIMATE  MODEL  PRECIPITATION  BIOSPHERE  PATTERNS  BIOMASS  AFRICA   The Trace Model: A model for simulation of the tracing process during evacuations in complex route environments 期刊论文 Simulation Modelling Practice and Theory, 2016, 卷号: 60, 页码: 108-121 作者:  Li, Wenhang;  Li, Yi;  Yu, Ping;  Gong, Jianhua;  Shen, Shen 收藏  |  浏览/下载：32/0  |  提交时间：2017/04/24 THERMAL-INFRARED DATA  SURFACE TEMPERATURE RETRIEVAL  PRODUCTS  RADIATION   termination prediction for general logic programs 期刊论文 THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 6, 页码: 751-780 Shen Yi-Dong; De Schreye Danny; Voets Dean 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/18 Logic programming  termination analysis  loop checking  moded queries  termination prediction   characterizations of stable model semantics for logic programs with arbitrary constraint atoms 期刊论文 THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 4, 页码: 529-564 Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/18 answer set programing  abstract constraint atoms  stable model semantics  Gelfond-Lifschitz transformation