41 citations · 82 across the 16 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property
Chun-Yu Lin, Churn-Jung Liau
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve…
cs.CV2020★ 2 cited
A Deep Ordinal Distortion Estimation Approach for Distortion Rectification
Kang Liao, Chunyu Lin, Yao Zhao
Distortion is widely existed in the images captured by popular wide-angle cameras and fisheye cameras. Despite the long history of distortion rectification, accurately estimating t…
cs.CV2020★ 1 cited
Pseudo-LiDAR Point Cloud Interpolation Based on 3D Motion Representation and Spatial Supervision
Haojie Liu, Kang Liao, Chunyu Lin +2
Pseudo-LiDAR point cloud interpolation is a novel and challenging task in the field of autonomous driving, which aims to address the frequency mismatching problem between camera an…