QQ客服 官方微博 反馈留言

浏览/检索结果: 共11条，第1-10条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 NeBcon: protein contact map prediction using neural network training coupled with naiive Bayes classifiers 期刊论文 BIOINFORMATICS, 2017, 卷号: 33, 期号: 15, 页码: 2296-2306 作者:  Wang, YT;  Zhang, Y;  Zhang, Y (reprint author), Univ Michigan, Dept Computat Med & Bioinformat, Ann Arbor, MI 48109 USA.;  Zhang, Y (reprint author), Univ Michigan, Dept Biol Chem, Ann Arbor, MI 48109 USA.;  He, BJ 收藏  |  浏览/下载：47/0  |  提交时间：2017/12/21 Parallel programing templates for remote sensing image processing on GPU architectures: design and implementation 期刊论文 Computing, 2016, 卷号: 98, 期号: 1-2, 页码: 7-33 作者:  Ma, Yan;  Chen, Lajiao;  Liu, Peng;  Lu, Ke 收藏  |  浏览/下载：18/0  |  提交时间：2017/04/24 RECOGNITION   Link the remote sensing big data to the image features via wavelet transformation 期刊论文 Cluster Computing, 2016, 卷号: 19, 期号: 2, 页码: 793-810 作者:  Wang, Lizhe;  Song, Weijing;  Liu, Peng 收藏  |  浏览/下载：13/0  |  提交时间：2017/04/24 MULTIPLE-SCATTERING  DIFFUSE-RADIATION  ATMOSPHERES   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   quantitative effects of software testing on reliability improvement in the presence of imperfect debugging 期刊论文 INFORMATION SCIENCES, 2013, 卷号: 218, 页码: 119-132 Cao Ping; Dong Zhao; Liu Ke; Cai Kai-Yuan 收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 Markov usage model  Software reliability testing  Imperfect debugging   zero-knowledge argument for simultaneous discrete logarithms 期刊论文 Algorithmica (New York), 2011, 卷号: 64, 期号: 2, 页码: 1-21 Chow Sherman S.M.; Ma Changshe; Weng Jian 收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Network security   基于数据流程变换的Mashup性能优化方法 期刊论文 小型微型计算机系统, 2011, 卷号: 32, 期号: 9, 页码: 1716-1722 刘杰; 魏峻; 叶丹; 黄涛 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 mashup  数据流程  web2.0  web服务  性能优化   外包数据库模型中的完整性检测方案 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 6, 页码: 1107-1115 咸鹤群; 冯登国 收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23 数据库安全  外包数据库完整性  带掩码的验证树  验证数据结构  验证时间Data structures  Database systems  Model checking   改进的以SMT为基础的实时系统限界模型检测 期刊论文 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 限界模型检测  可满足性模块理论  实时系统  时间自动机  时间Kripke结构  带时间参数的计算树逻辑bounded model checking  satisfiability modulo theories  real-time system  timed automata  timed Kripke structure  TCTL (timed computation tree logic)   对时间自动机进行空性检测的过程和改进 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL