QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 An Interactive SpiralTape Video Summarization 期刊论文 IEEE TRANSACTIONS ON MULTIMEDIA, 2016, 卷号: 18, 期号: 7, 页码: 1269-1282 Liu, YJ; Ma, CX; Zhao, GZ; Fu, XL; Wang, HG; Dai, GZ; Xie, LX 收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09 User experience  user interaction  video content analysis  video summarization   Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 6, 页码: 1358-1369 Yu, XL; Wu, WL; Shi, ZQ; Zhang, J; Zhang, L; Wang, YF 收藏  |  浏览/下载：23/0  |  提交时间：2016/12/13 lightweight block cipher  SIMON  linear cryptanalysis  zero-correlation  dual property   minimizing makespan on a single batching machine with release times and non-identical job sizes 期刊论文 OPERATIONS RESEARCH LETTERS, 2005, 卷号: 33, 期号: 2, 页码: 157-164 Li SG; Li GJ; Wang XL; Liu QM 收藏  |  浏览/下载：9/0  |  提交时间：2011/07/28 approximation algorithms  scheduling  batch processing  makespan  release times   path-oriented test data generation using symbolic execution and constraint solving techniques 会议论文 2nd International Conference on Software Engineering and Formal Methods, Beijing, PEOPLES R CHINA, SEP 28-30, Zhang J; Xu C; Wang XL 收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 automatic test data generation  breadth-first search  constraint solving  depth-first search  extended finite state machine  input program  input test data  input variables  path-oriented test data generation  program bug  software engineering  symbolic e