Renyan Feng

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Occlusion Detection

Incremental Learning

Top Venues

Int. J. Pattern Recognit. Artif. Intell.

Ann. Math. Artif. Intell.

Publications

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou
Satisfiability Threshold of Random Propositional S5 Theories. Axioms 13 (4) (2024)
Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu
Strong Forgetting in Hennessy-Milner Logic. TASE (2024)
Ren Qian, Yong Zhao, Renyan Feng, Wenbang Yang, Zaijun Zhang
An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching. Int. J. Pattern Recognit. Artif. Intell. 37 (2) (2023)
Ren Qian, Renyan Feng, Wangduo Xie, Wenbang Yang, Yong Zhao
MFF: An effective method of solving the ill regions in stereo matching. IET Comput. Vis. 17 (6) (2023)
Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen
Knowledge forgetting in propositional μ-calculus. Ann. Math. Artif. Intell. 91 (1) (2023)
Ren Qian, Wenfeng Qiu, Wenbang Yang, Jianhua Li, Yun Wu, Renyan Feng, Xinan Wang, Yong Zhao
Depth Information Precise Completion-GAN: A Precisely Guided Method for Completing Ill Regions in Depth Maps. Remote. Sens. 15 (14) (2023)
Lei Yang, Yisong Wang, Hong-bo Hu, Renyan Feng, Jun Liu
Fuzzy Multicontext Systems. IEEE Trans. Fuzzy Syst. 31 (3) (2023)
Panfeng Chen, Yisong Wang, Xiaomin Yu, Renyan Feng
QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion. Knowl. Based Syst. 239 (2022)
Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. Inf. Sci. 616 (2022)
Qing Zhao, Renyan Feng, Jianqiang Li, Yanhe Jia
Exploiting Multi-granular Features for the Enhanced Predictive Modeling of COPD Based on Chinese EMRs. ISBRA (2021)
Panfeng Chen, Yisong Wang, Quan Yu, Yi Fan, Renyan Feng
Hamming Distance Encoding Multihop Relation Knowledge Graph Completion. IEEE Access 8 (2020)
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
On Sufficient and Necessary Conditions in Bounded CTL. CoRR (2020)
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. KR (2020)