Xingyuan Zhang

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 20

Top Topics

Spatio Temporal Interest Points

Action Recognition In Videos

Image Degradation

Imitation Learning

Top Venues

J. Autom. Reason.

IEEE Trans. Circuits Syst. Video Technol.

Publications

Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models. CoRR (2024)
Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models. NeurIPS (2023)
Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models. CoRR (2023)
Rongjun Qin, Xingyuan Zhang, Songyi Gao, Xiong-Hui Chen, Zewen Li, Weinan Zhang, Yang Yu
NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. NeurIPS (2022)
Bo Wang, Xingyuan Zhang, Bo Sun
Propagation Prediction of Body Waves in Fluid-Saturated Soils with Flow-Independent Viscosity. Symmetry 14 (2) (2022)
Xingyuan Zhang, Fuhai Zhang
Differentiable Spatial Regression: A Novel Method for 3D Hand Pose Estimation. IEEE Trans. Multim. 24 (2022)
Xingyuan Zhang, Ya-Ping Huang, Yang Mi, Yanting Pei, Qi Zou, Song Wang
Video sketch: A middle-level representation for action recognition. Appl. Intell. 51 (4) (2021)
Yanting Pei, Yaping Huang, Xingyuan Zhang
Consistency Guided Network for Degraded Image Classification. IEEE Trans. Circuits Syst. Video Technol. 31 (6) (2021)
Rongjun Qin, Songyi Gao, Xingyuan Zhang, Zhen Xu, Shengkai Huang, Zewen Li, Weinan Zhang, Yang Yu
NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. CoRR (2021)
Yanting Pei, Yaping Huang, Qi Zou, Xingyuan Zhang, Song Wang
Effects of Image Degradation and Degradation Removal to CNN-Based Image Classification. IEEE Trans. Pattern Anal. Mach. Intell. 43 (4) (2021)
Xingyuan Zhang, Christian Urban, Chunhan Wu
Priority Inheritance Protocol Proved Correct. J. Autom. Reason. 64 (1) (2020)
Dianzhuan Jiang, Shengsheng Zhang, Yaping Huang, Qi Zou, Xingyuan Zhang, Mengyang Pu, Junbo Liu
Detecting dense text in natural images. IET Comput. Vis. 14 (8) (2020)
Xingyuan Zhang, Yaping Huang, Qi Zou, Yanting Pei, Runsheng Zhang, Song Wang
A Hybrid convolutional neural network for sketch recognition. Pattern Recognit. Lett. 130 (2020)
Yang Mi, Xingyuan Zhang, Zhongguo Li, Song Wang
Dual-Branch Network With a Subtle Motion Detector for Microaction Recognition in Videos. IEEE Trans. Image Process. 29 (2020)
Xingyuan Zhang, Christian Urban
Selected Extended Papers of ITP 2015: Preface. J. Autom. Reason. 62 (4) (2019)
Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten
Universal Turing Machine. Arch. Formal Proofs 2019 (2019)
Xingyuan Zhang, Fuhai Zhang
Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder. CoRR (2019)
Yanting Pei, Yaping Huang, Xingyuan Zhang
Classification-driven Single Image Dehazing. CoRR (2019)
Xingyuan Zhang, Yaping Huang, Qi Zou, Qingji Guan, Junbo Liu
Making better use of edges for sketch generation. J. Electronic Imaging 27 (06) (2018)
Yanting Pei, Yaping Huang, Qi Zou, Hao Zang, Xingyuan Zhang, Song Wang
Effects of Image Degradations to CNN-based Image Classification. CoRR (2018)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions. J. Autom. Reason. 52 (4) (2014)
Jian Xu, Xingyuan Zhang, Christian Urban
Mechanising Turing Machines and Computability Theory in Isabelle/HOL. ITP (2013)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formal Model and Correctness Proof for an Access Control Policy Framework. CPP (2013)
Xingyuan Zhang, Christian Urban, Chunhan Wu
Priority Inheritance Protocol Proved Correct. ITP (2012)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). ITP (2011)
Chunhan Wu, Xingyuan Zhang, Christian Urban
The Myhill-Nerode Theorem Based on Regular Expressions. Arch. Formal Proofs 2011 (2011)
Jinshuang Wang, Huabing Yang, Xingyuan Zhang
Liveness Reasoning with Isabelle/HOL. TPHOLs (2009)
Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang
A Replay-Oriented Software Architecture for Easy Debugging. CSSE (2) (2008)
Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
A Correctness Proof of the DSR Protocol. MSN (2006)
Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
A correctness proof of the SRP protocol. IPDPS (2006)
Hideo Kozumi, Xingyuan Zhang
Bayesian and non-bayesian analysis of gamma stochastic frontier models by Markov Chain Monte Carlo methods. Comput. Stat. 20 (4) (2005)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11 (1) (2004)
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
Mechanized Operational Semantics of WSL. SCAM (2002)
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
A Post-Placement Side-Effect Removal Algorithm. ICSM (2002)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
An Interprocedural Amorphous Slicer for WSL. SCAM (2002)
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
Source code analysis and manipulation. Inf. Softw. Technol. 44 (13) (2002)
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs (2002)
Hui Jiang, Dong Lin, Xingyuan Zhang, Xiren Xie
Type System in Programming Languages. J. Comput. Sci. Technol. 16 (3) (2001)
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
Side-Effect Removal Transformation. IWPC (2001)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE (2001)