CASIA OpenIR

浏览/检索结果: 共9条,第1-9条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Investigating Shift Equivalence of Convolutional Neural Networks in Industrial Defect Segmentation 期刊论文
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2023, 页码: 1-17
作者:  Qu Z(屈震);  Tao X(陶显);  Shen F(沈飞);  Zhang ZT(张正涛);  Li T(李涛)
Adobe PDF(2869Kb)  |  收藏  |  浏览/下载:6/3  |  提交时间:2024/06/04
Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者:  Wenxuan Guo;  Hui-Ling Zhen;  Xijun Li;  Wanqian Luo;  Mingxuan Yuan;  Yaohui Jin;  Junchi Yan
Adobe PDF(1518Kb)  |  收藏  |  浏览/下载:42/13  |  提交时间:2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization  
Plane Geometry Diagram Parsing 会议论文
, 奥地利 维也纳, 2022-7-24
作者:  Zhang Ming-Liang;  Yin Fei;  Hao Yi-Han;  Liu Cheng-Lin
Adobe PDF(1024Kb)  |  收藏  |  浏览/下载:62/17  |  提交时间:2024/04/03
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram 会议论文
, 中国 澳门, 2023-7-19
作者:  Zhang Ming-Liang;  Yin Fei;  Liu Cheng-Lin
Adobe PDF(1110Kb)  |  收藏  |  浏览/下载:78/21  |  提交时间:2024/04/03
The invariant representations of a quadric cone and a twisted cubic 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2003, 卷号: 25, 期号: 10, 页码: 1329-1332
作者:  Wu, YH;  Hu, ZY
收藏  |  浏览/下载:143/0  |  提交时间:2015/11/08
Automated Theorem Proving  Computer Vision  Invariant Representation  Quadric Cone  Twisted Cubic  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
作者:  Li, HB;  Wu, YH
收藏  |  浏览/下载:198/0  |  提交时间:2015/11/08
Bracket Algebra  Cayley Algebra  Automated Theorem Proving  Projective Conic Geometry  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - I. Incidence geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 717-762
作者:  Li, HB;  Wu, YH
收藏  |  浏览/下载:202/0  |  提交时间:2015/11/08
Cayley Algebra  Bracket Algebra  Automated Theorem Proving  Projective Incidence Geometry  
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
收藏  |  浏览/下载:181/0  |  提交时间:2015/11/08
Linear Systems  Stabilization  Simultaneous Stabilization  Champagne Problem  Generalized Champagne Problem  Complex Analysis  Inequality-type Theorem  Automated Theorem Proving  
AI research in China: 50 years down the road 期刊论文
IEEE INTELLIGENT SYSTEMS, 2006, 卷号: 21, 期号: 3, 页码: 91-93
作者:  Lu, RQ;  Zeng, D;  Wang, FY
浏览  |  Adobe PDF(93Kb)  |  收藏  |  浏览/下载:193/35  |  提交时间:2015/11/07
Ai Research  China