Skip to main content

2 Result(s)

within JieJie Xu Remove this filter Computer Science Remove this filter English Remove this filter

and

  1. No Access

    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...

    JieJie Xu, Yisheng Zhu, Wenqing Wang, Guangcan Liu in The Visual Computer (2024)

  2. No Access

    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...

    Rongrong Jiang, Chuanbin Wang, Jiejie Xu… in Parallel and Distributed Computing and Net… (2011)