Xindi Zhang

According to our database, Xindi Zhang authored at least 22 papers between 2017 and 2023.

Collaborative distances:

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

2023

Local Search For Satisfiability Modulo Integer Arithmetic Theories.

Shaowei Cai, Bohan Li, Xindi Zhang

ACM Trans. Comput. Log., October, 2023

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation.

Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Mengyuan Liu, Chen Chen

CoRR, 2023

Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On.

Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang

CoRR, 2023

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation.

Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Liefeng Bo, Mengyuan Liu, Chen Chen

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Better Decision Heuristics in CDCL through Local Search and Target Phases.

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

J. Artif. Intell. Res., 2022

CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow.

Daiheng Gao, Xindi Zhang, Xingyu Chen, Andong Tan, Bang Zhang, Pan Pan, Ping Tan

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).

Shaowei Cai, Xindi Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Autonomous long-range drone detection system for critical infrastructure safety.

Xindi Zhang, Kusrini Kusrini

Multim. Tools Appl., 2021

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

J. Artif. Intell. Res., 2021

Deep Cooperation of CDCL and Local Search for SAT.

Shaowei Cai, Xindi Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

SCAT: Stride Consistency with Auto-regressive regressor and Transformer for hand pose estimation.

Daiheng Gao, Bang Zhang, Qi Wang, Xindi Zhang, Pan Pan, Yinghui Xu

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Physical Security Detectors for Critical Infrastructures Against New-Age Threat of Drones and Human Intrusion.

Xindi Zhang, Krishna Chandramouli, Dusan Gabrijelcic, Theodore B. Zahariadis, Gabriele Giunta

Proceedings of the 2020 IEEE International Conference on Multimedia & Expo Workshops, 2020

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.

Shaowei Cai, Xindi Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information.

Xindi Zhang, Ebroul Izquierdo

Proceedings of the 2019 IEEE Visual Communications and Image Processing, 2019

Critical Infrastructure Security Against Drone Attacks Using Visual Analytics.

Xindi Zhang, Krishna Chandramouli

Proceedings of the Computer Vision Systems, 12th International Conference, 2019

Dense and Small Object Detection in UAV Vision Based on Cascade Network.

Xindi Zhang, Ebroul Izquierdo, Krishna Chandramouli

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

VisDrone-DET2019: The Vision Meets Drone Object Detection in Image Challenge Results.

Dawei Du, Yue Zhang, Zexin Wang, Zhikang Wang, Zichen Song, Ziming Liu, Liefeng Bo, Hailin Shi, Rui Zhu, Aashish Kumar, Aijin Li, Almaz Zinollayev, Anuar Askergaliyev, Arne Schumann, Binjie Mao, Pengfei Zhu, Byeongwon Lee, Chang Liu, Changrui Chen, Chunhong Pan, Chunlei Huo, Da Yu, Dechun Cong, Dening Zeng, Dheeraj Reddy Pailla, Di Li, Longyin Wen, Dong Wang, Donghyeon Cho, Dongyu Zhang, Furui Bai, George Jose, Guangyu Gao, Guizhong Liu, Haitao Xiong, Hao Qi, Haoran Wang, Xiao Bian, Heqian Qiu, Hongliang Li, Huchuan Lu, Ildoo Kim, Jaekyum Kim, Jane Shen, Jihoon Lee, Jing Ge, Jingjing Xu, Jingkai Zhou, Haibin Ling, Jonas Meier, Jun Won Choi, Junhao Hu, Junyi Zhang, Junying Huang, Kaiqi Huang, Keyang Wang, Lars Sommer, Lei Jin, Lei Zhang, Qinghua Hu, Lianghua Huang, Lin Sun, Lucas Steinmann, Meixia Jia, Nuo Xu, Pengyi Zhang, Qiang Chen, Qingxuan Lv, Qiong Liu, Qishang Cheng, Tao Peng, Sai Saketh Chennamsetty, Shuhao Chen, Shuo Wei, Srinivas S. S. Kruthiventi, Sungeun Hong, Sungil Kang, Tong Wu, Tuo Feng, Varghese Alex Kollerathu, Wanqi Li, Jiayu Zheng, Wei Dai, Weida Qin, Weiyang Wang, Xiaorui Wang, Xiaoyu Chen, Xin Chen, Xin Sun, Xin Zhang, Xin Zhao, Xindi Zhang, Xinyao Wang, Xinyu Zhang, Xuankun Chen, Xudong Wei, Xuzhang Zhang, Yanchao Li, Yifu Chen, Yu Heng Toh, Yu Zhang, Yu Zhu, Yunxin Zhong

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

2017

A New Method for Computing Preferred Extensions.

Xindi Zhang, Xiaojie Xie, Yancen Pan, Dangdang Niu, Shuai Lü

Proceedings of the 2nd International Conference on Intelligent Information Processing, 2017