Haiyi Liu

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Visual Odometry

Temporal Context

Grand Challenge

Top Venues

Publications

Haiyi Liu, Beibei Wang, Lu Zhang, Jianmin Ji, Yanyong Zhang
BEVoxSeg: BEV-Voxel Representation for Fast and Accurate Camera-Based 3D Segmentation. ICASSP (2024)
Haiyi Liu, Yabin Zhang, Lei Wang
Pre-Training Physics-Informed Neural Network with Mixed Sampling and Its Application in High-Dimensional Systems. J. Syst. Sci. Complex. 37 (2) (2024)
Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. Int. J. Softw. Eng. Knowl. Eng. 34 (2) (2024)
Heng Li, Yifan Duan, Xinran Zhang, Haiyi Liu, Jianmin Ji, Yanyong Zhang
OCC-VO: Dense Mapping via 3D Occupancy-Based Visual Odometry for Autonomous Driving. ICRA (2024)
Xiangrong Tang, Juan Zhang, Lanfang Liu, Menghan Yang, Shijie Li, Jie Chen, Yumeng Ma, Jia Zhang, Haiyi Liu, Chunming Lu, Guosheng Ding
Distinct brain state dynamics of native and second language processing during narrative listening in late bilinguals. NeuroImage 280 (2023)
Yongquan Chen, Ying Jiang, Haiyi Liu
Analysis Method of App Software User Experience Based on Multisource Information Fusion. Int. J. Semantic Web Inf. Syst. 19 (1) (2023)
Jia Zhang, Hehui Li, Manli Zhang, Zhengke Wang, Xiya Ao, Jie Jian, Na Wei, Haiyi Liu, Guosheng Ding, Xiangzhi Meng
Functional preference of the left inferior parietal lobule to second language reading. NeuroImage 270 (2023)
Heng Li, Yifan Duan, Xinran Zhang, Haiyi Liu, Jianmin Ji, Yanyong Zhang
OCC-VO: Dense Mapping via 3D Occupancy-Based Visual Odometry for Autonomous Driving. CoRR (2023)
Minghao Liu, Haiyi Liu, Sirui Zhao, Fei Ma, Minglei Li, Zonghong Dai, Hao Wang, Tong Xu, Enhong Chen
STAN: Spatial-Temporal Awareness Network for Temporal Action Detection. MMSports@MM (2023)
Haiyi Liu, Ying Jiang, Yongquan Chen
Completion of Parallel app Software User Operation Sequences Based on Temporal Context. J. Database Manag. 34 (3) (2023)
Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL (2022)
Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong
TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning. IEEE Access 10 (2022)
Xiaohui Fan, Qiting Li, Fenqing Zhong, Haiyi Liu, Rongchao Peng
Development of a Wearable Sleep Monitoring System Using Internet of Things Hub. ICBBE (2021)
Ting Shu, Haiyi Liu, Foster R. Goss, Wei Yang, Li Zhou, David W. Bates, Ming-Hui Liang
EHR adoption across China's tertiary hospitals: A cross-sectional observational study. Int. J. Medical Informatics 83 (2) (2014)