QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Abstraction of elementary hybrid systems by variable transformation 会议论文 Oslo, Norway, June 24, 2015 - June 26, 2015 作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang 收藏  |  浏览/下载：18/0  |  提交时间：2018/03/16 Formal verification of a descent guidance control program of a lunar lander 会议论文 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example 会议论文 18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012 Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G. 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Errors  Game theory  Hybrid systems  Model checking   computing semi-algebraic invariants for polynomial dynamical systems 会议论文 Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11, Taipei, Taiwan, October 9, Liu Jiang; Zhan Naijun; Zhao Hengjun 收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08 Embedded software  Embedded systems  Polynomials   A NO-REFERENCE IMAGE SHARPNESS ESTIMATION BASED ON EXPECTATION OF WAVELET TRANSFORM COEFFICIENTS 会议论文 Melbourne, AUSTRALIA, SEP 15-18, 2013 作者:  Zhao, Hengjun[1,3,4];  Fang, Bin[1];  Tang, Yuan Yan[1,2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/11/28 VISUAL SALIENCY ESTIMATION USING SUPPORT VALUE TRANSFORM 会议论文 Lake Buena Vista, FL, SEP 30-OCT 03, 2012 作者:  Yang, Weibin[1];  Fang, Bin[1];  Tang, Yuan Yan[1];  Shang, Zhaowei[1];  Zhao, Hengjun[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/11/28 A no-reference image sharpness estimation based on expectation of wavelet transform coefficients 会议论文 Melbourne, VIC, Australia, September 15, 2013 - September 18, 2013 作者:  Zhao, Hengjun[1,3];  Fang, Bin[1];  Tang, Yuan Yan[1,2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/11/29 Visual saliency estimation using support value transform 会议论文 Lake Buena Vista, FL, United states, September 30, 2012 - October 3, 2012 作者:  Yang, Weibin[1];  Fang, Bin[1];  Tang, Yuan Yan[1,2];  Shang, Zhaowei[1];  Zhao, Hengjun[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/11/29 Traffic sign segmentation and recognition in scene images 会议论文 Chongqing, China, October 21, 2010 - October 23, 2010 作者:  Qin, Fei[1];  Fang, Bin[1];  Zhao, Hengjun[1] 收藏  |  浏览/下载：4/0  |  提交时间：2019/11/30 A no-reference image sharpness estimation based on expectation of wavelet transform coefficients (EI收录) 会议论文 2013 IEEE International Conference on Image Processing, ICIP 2013 - Proceedings, Melbourne, VIC, Australia, September 15, 2013 - September 18, 2013 作者:  Zhao, Hengjun[1,3];  Fang, Bin[1];  Tang, Yuan Yan[1,2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 Discrete wavelet transforms  Image processing  Wavelet decomposition