no code implementations • 22 Oct 2023 • Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
the trustworthiness perspective, is bound to and enriches the abstract model with semantics, which enables more detailed analysis applications for diverse purposes.
1 code implementation • 2 Mar 2022 • Xuan Xie, Kristian Kersting, Daniel Neider
Formal verification has emerged as a powerful approach to ensure the safety and reliability of deep neural networks.
no code implementations • 14 Feb 2020 • Xuan Xie, Hui Feng, Bo Hu
There have been many works that focus on the sampling set design for a static graph signal, but few for time-varying graph signals (GS).
1 code implementation • 6 Sep 2019 • Junhao Yu, Xuan Xie, Hui Feng, Bo Hu
This paper focuses on the fundamental problem of sampling and reconstruction of joint time-vertex graph signals.