Page
%P
-
Article
A real-time semi-dense depth-guided depth completion network
Depth completion, the task of predicting dense depth maps from given depth maps of sparse, is an important topic in computer vision. To cope with the task, both traditional image processing- based and data-dri...
-
Chapter and Conference Paper
Prolog-Based Formal Reasoning for Security Protocols
This paper introduces a security reachability analysis model based on the strand space theory and the constraint elimination method. A prolog-based automatic reasoning scheme is then proposed. At last, the rea...