QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011 Chen, L; Wu, JZ; Lv, YR; Wang, YJ 收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09 constrained optimization  Satisfiability Modulo Theories  linear programming   Water extraction in high resolution remote sensing image based on hierarchical spectrum and shape features 会议论文 35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013 Li, Bangyu (1); Zhang, Hui (1); Xu, Fanjiang (1) 收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 Rolling simulation method for acquiring pixel parameter of airborne 3D imaging LiDAR 会议论文 2014 International Conference on Computational Science and Computational Intelligence, CSCI 2014, Las Vegas, NV, United states, March 10, 2014 - March 13, 2014 Wu, Fengge (1); Zhang, Heng (1); Zhao, Junsuo (1); Zhuang, Jiayu (1) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 流密码中非线性部件的分析与设计 学位论文 博士, 北京: 中国科学院研究生院, 2011 杨笑 收藏  |  浏览/下载：18/0  |  提交时间：2011/06/15 流密码  T-函数  布尔函数  ZUC算法  Loiss算法   reconstruct the distributed transaction monitor oncetx 会议论文 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Jin Beihong; Li Gang; Zhang Liang 收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28 distributed transaction monitor  scalability  concurrency control  dynamic configuration  optimization   reconstruct the distributed transaction monitor oncetx 会议论文 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Jin Beihong; Li Gang; Zhang Liang 收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28 distributed transaction monitor  scalability  concurrency control  dynamic configuration  optimization