QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 MTBuilder：一个多触点交互桌面界面工具 期刊论文 Journal of Compute-Aided Design and Graphics, 2011, 卷号: 23, 期号: 10 刘佳升; 张凤军; 谭国富; 戴志军; 戴国忠; 王宏安 收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 人机交互  手势交互  交互桌面  多点触控  界面工具   基于特征函数和质量因子的JPEG图像隐写分析 期刊论文 中国科学院研究生院学报, 2010, 卷号: 27, 期号: 3, 页码: 389-396 邓艺; 赵险峰; 冯登国 收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23 信息隐藏  图像隐写  隐写分析  特征函数  质量因子information hiding  image steganography  steganalysis  characteristic function  quality factor   improved bounded model checking for the universal fragment of ctl 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui 收藏  |  浏览/下载：9/0  |  提交时间：2011/03/18 software verification  model checking algorithm  bounded model checking  ACTL  SAT