QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 baggy bounds with accurate checking 会议论文 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, United states, November 27, 2012 - November 30, 2012 Ding Baozeng; He Yeping; Wu Yanjun; Miller Alex; Criswell John 收藏  |  浏览/下载：19/0  |  提交时间：2013/09/22 Errors  Technical presentations   inferring the root cause in road traffic anomalies 会议论文 12th IEEE International Conference on Data Mining, ICDM 2012, Brussels, Belgium, December 10, 2012 - December 13, 2012 Chawla Sanjay; Zheng Yu; Hu Jiafeng 收藏  |  浏览/下载：17/0  |  提交时间：2013/09/22 Data mining  Inverse problems   a hyperbolic tree based interface for exploring massive files 会议论文 4th Visual Information Communication - International Symposium, VINCI 2011, Hong Kong, China, August 4, Zeng Zhirong; Wang Kun; Teng Dongxing; Wang Hongan; Dai Guozhong 收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 Information technology  Plant extracts  Visual communication  Visualization   revisiting the power and equivalence of one-way quantum finite automata 会议论文 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18, Li Lvzhou; Qiu Daowen 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31 Automata theory  Equivalence classes  Formal languages  Linguistics  Quantum computers   formal derivation of a generic algorithmic program for solving a class extremum problems 会议论文 10th ACIS Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2009, In conjunction with IWEA 2009 and WEACR 2009, Daegu, Korea, Republic of, 43978 Wang Chang-Jing; Xue Jin-Yun 收藏  |  浏览/下载：7/0  |  提交时间：2011/03/20 Artificial intelligence  Computer science  Computer software   extended models for message authentication 会议论文 11th International Conference on Information Security and Cryptology, Seoul, SOUTH KOREA, DEC 03-05, Zhang Liting; Wu Wenling; Wang Peng 收藏  |  浏览/下载：6/0  |  提交时间：2011/03/20 Security Model  Message Authentication  Side Channel Attack  Provable Security