Xingyuan Zhang

According to our database, Xingyuan Zhang authored at least 39 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models.

Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl

CoRR, 2024

Average Age of Information for Multi-Source Single Buffer Preemption Queueing Model with Packet Dropping in Service.

Xingyuan Zhang, Xiangdong Jia, Heng Chang, Hailong Tian

Proceedings of the 100th IEEE Vehicular Technology Conference, 2024

2023

Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models.

Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Differentiable Spatial Regression: A Novel Method for 3D Hand Pose Estimation.

Xingyuan Zhang, Fuhai Zhang

IEEE Trans. Multim., 2022

Propagation Prediction of Body Waves in Fluid-Saturated Soils with Flow-Independent Viscosity.

Bo Wang, Xingyuan Zhang, Bo Sun

Symmetry, 2022

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning.

Rongjun Qin, Xingyuan Zhang, Songyi Gao, Xiong-Hui Chen, Zewen Li, Weinan Zhang, Yang Yu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Consistency Guided Network for Degraded Image Classification.

Yanting Pei, Yaping Huang, Xingyuan Zhang

IEEE Trans. Circuits Syst. Video Technol., 2021

Effects of Image Degradation and Degradation Removal to CNN-Based Image Classification.

Yanting Pei, Yaping Huang, Qi Zou, Xingyuan Zhang, Song Wang

IEEE Trans. Pattern Anal. Mach. Intell., 2021

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning.

Rongjun Qin, Songyi Gao, Xingyuan Zhang, Zhen Xu, Shengkai Huang, Zewen Li, Weinan Zhang, Yang Yu

CoRR, 2021

Video sketch: A middle-level representation for action recognition.

Xingyuan Zhang, Ya-Ping Huang, Yang Mi, Yanting Pei, Qi Zou, Song Wang

Appl. Intell., 2021

2020

Dual-Branch Network With a Subtle Motion Detector for Microaction Recognition in Videos.

Yang Mi, Xingyuan Zhang, Zhongguo Li, Song Wang

IEEE Trans. Image Process., 2020

A Hybrid convolutional neural network for sketch recognition.

Xingyuan Zhang, Yaping Huang, Qi Zou, Yanting Pei, Runsheng Zhang, Song Wang

Pattern Recognit. Lett., 2020

Priority Inheritance Protocol Proved Correct.

Xingyuan Zhang, Christian Urban, Chunhan Wu

J. Autom. Reason., 2020

Detecting dense text in natural images.

Dianzhuan Jiang, Shengsheng Zhang, Yaping Huang, Qi Zou, Xingyuan Zhang, Mengyang Pu, Junbo Liu

IET Comput. Vis., 2020

2019

Selected Extended Papers of ITP 2015: Preface.

Xingyuan Zhang, Christian Urban

J. Autom. Reason., 2019

Classification-driven Single Image Dehazing.

Yanting Pei, Yaping Huang, Xingyuan Zhang

CoRR, 2019

Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder.

Xingyuan Zhang, Fuhai Zhang

CoRR, 2019

Universal Turing Machine.

Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten

Arch. Formal Proofs, 2019

2018

Making better use of edges for sketch generation.

Xingyuan Zhang, Yaping Huang, Qi Zou, Qingji Guan, Junbo Liu

J. Electronic Imaging, 2018

Effects of Image Degradations to CNN-based Image Classification.

Yanting Pei, Yaping Huang, Qi Zou, Hao Zang, Xingyuan Zhang, Song Wang

CoRR, 2018

2014

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions.

Chunhan Wu, Xingyuan Zhang, Christian Urban

J. Autom. Reason., 2014

2013

Mechanising Turing Machines and Computability Theory in Isabelle/HOL.

Jian Xu, Xingyuan Zhang, Christian Urban

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

A Formal Model and Correctness Proof for an Access Control Policy Framework.

Chunhan Wu, Xingyuan Zhang, Christian Urban

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2011

The Myhill-Nerode Theorem Based on Regular Expressions.

Chunhan Wu, Xingyuan Zhang, Christian Urban

Arch. Formal Proofs, 2011

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl).

Chunhan Wu, Xingyuan Zhang, Christian Urban

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2009

Liveness Reasoning with Isabelle/HOL.

Jinshuang Wang, Huabing Yang, Xingyuan Zhang

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

A Replay-Oriented Software Architecture for Easy Debugging.

Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2006

A Correctness Proof of the DSR Protocol.

Huabing Yang, Xingyuan Zhang, Yuanyuan Wang

Proceedings of the Mobile Ad-hoc and Sensor Networks, Second International Conference, 2006

A correctness proof of the SRP protocol.

Huabing Yang, Xingyuan Zhang, Yuanyuan Wang

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Bayesian and non-bayesian analysis of gamma stochastic frontier models by Markov Chain Monte Carlo methods.

Hideo Kozumi, Xingyuan Zhang

Comput. Stat., 2005

2004

Syntax-Directed Amorphous Slicing.

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya

Autom. Softw. Eng., 2004

2002

Source code analysis and manipulation.

Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang

Inf. Softw. Technol., 2002

Weakest Precondition for General Recursive Programs Formalized in Coq.

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Mechanized Operational Semantics of WSL.

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

An Interprocedural Amorphous Slicer for WSL.

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

A Post-Placement Side-Effect Removal Algorithm.

Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Type System in Programming Languages.

Hui Jiang, Dong Lin, Xingyuan Zhang, Xiren Xie

J. Comput. Sci. Technol., 2001

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Side-Effect Removal Transformation.

Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001