中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共3条，第1-3条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Quality-Aware Network for Human Parsing 期刊论文
IEEE TRANSACTIONS ON MULTIMEDIA, 2023, 卷号: 25, 页码: 7128-7138
作者:  Yang, Lu;  Song, Qing;  Wang, Zhihui;  Liu, Zhiwei;  Xu, Songcen;  Li, Zhihao
收藏  |  浏览/下载：18/0  |  提交时间：2024/02/22
Computer vision  image segmentation  multi-media computing  
Mechanical decision for a class of integral inequalities 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 9, 页码: 1800-1815
作者:  Yang Lu;  Yu WenSheng;  Yuan RuYi
收藏  |  浏览/下载：111/0  |  提交时间：2015/11/08
Integral Inequality  Symmetric Polynomial Inequality  Timofte's Dimension-decreasing Method  Successive Difference Substitution  Mechanical Decision  Inequality-proving Package Bottema  
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007, 卷号: 50, 期号: 5, 页码: 719-731
作者:  Guan Qiang;  Wang Long;  Xia BiCan;  Yang Lu;  Yu WenSheng;  Zeng ZhenBing
收藏  |  浏览/下载：170/0  |  提交时间：2015/11/08
Linear Systems  Stabilization  Simultaneous Stabilization  Champagne Problem  Generalized Champagne Problem  Complex Analysis  Inequality-type Theorem  Automated Theorem Proving