default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhi-Ping Shi 0002
Zhiping Shi 0002
Person information
- affiliation: Capital Normal University, College of Information Engineering, Beijing Key Laboratory of Electronic System Reliability Technology, Beijing, China
- affiliation: Chinese Academy of Sciences, Institute of Computing Technology, Beijing, China
Other persons with the same name
- Zhi-Ping Shi 0001
![[0000-0002-9851-440X]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-9851-440X")
(aka: Zhiping Shi 0001) — University of Electronic Science and Technology of China, National Key Laboratory of Science and Technology on Communications, Chengdu, China - Zhiping Shi 0003 — BrainUp Co., Ltd, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j50]Yongkang Zhang, Han Zhang, Jun Li, Zhiping Shi, Jian Yang, Kaixin Yang, Shuo Yin, Qiuyan Liang, Xianglong Liu:
Bullet-Screen-Emoji Attack With Temporal Difference Noise for Video Action Recognition. IEEE Trans. Circuits Syst. Video Technol. 35(1): 589-600 (2025)- [j49]Yuxuan Qiu, Liyang Wang, Wei Song, Jiawei Liu, Zhi-Ping Shi, Na Jiang:
Advancing Visible-Infrared Person Re-Identification: Synergizing Visual-Textual Reasoning and Cross-Modal Feature Alignment. IEEE Trans. Inf. Forensics Secur. 20: 2184-2196 (2025) - 2024
- [j48]Linhan Li, Qianying Zhang, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan:
rOOM: A Rust-Based Linux Out of Memory Kernel Component. IEICE Trans. Inf. Syst. 107(3): 245-256 (2024) - [j47]Fangyun Qin, Zheng Zheng, Yulei Sui, Siqian Gong, Zhi-Ping Shi, Kishor S. Trivedi:
Cross-project concurrency bug prediction using domain-adversarial neural network. J. Syst. Softw. 214: 112077 (2024) - [j46]Jian Yang, Zhiyu Guan, Jun Li, Zhi-Ping Shi, Xianglong Liu:
Diffusion Patch Attack With Spatial-Temporal Cross-Evolution for Video Recognition. IEEE Trans. Circuits Syst. Video Technol. 34(12): 13190-13200 (2024) - [j45]Chang-E Ren, Junhui Li, Zhiping Shi, Yong Guan, C. L. Philip Chen:
Adaptive Impulsive Consensus of Nonlinear Multiagent Systems With Limited Bandwidth Under Uncertain Deception Attacks. IEEE Trans. Syst. Man Cybern. Syst. 54(8): 4592-4604 (2024) - [j44]Lingling Zhang, Zhiping Shi, Zhiwei Zhang, Ye Yuan, Guoren Wang:
Efficiently estimating node influence through group sampling over large graphs. World Wide Web (WWW) 27(2): 18 (2024) - [c73]Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang:
SQLPass: A Semantic Effective Fuzzing Method for DBMS. COMPSAC 2024: 1035-1044 - [c72]Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE 2024: 188-209 - [c71]Na Jiang, Yuxuan Qiu, Wei Song, Jiawei Liu, Zhiping Shi, Liyang Wang:
Joint Visual-Textual Reasoning and Visible-Infrared Modality Alignment for Person Re-Identification. ICME 2024: 1-6 - [i9]Junlin Chen, Chengcheng Xu, Yangfan Xu, Jian Yang, Jun Li, Zhiping Shi:
Flatten: Video Action Recognition is an Image Classification task. CoRR abs/2408.09220 (2024) - 2023
- [j43]Yongchun Zhu, Fuzhen Zhuang, Xiangliang Zhang, Zhiyuan Qi, Zhi-Ping Shi, Juan Cao, Qing He:
Combat data shift in few-shot learning with knowledge graph. Frontiers Comput. Sci. 17(1): 171305 (2023) - [j42]Yongkang Zhang, Jun Li, Na Jiang, Guoming Wu, Han Zhang, Zhi-Ping Shi, Zhaoxun Liu, Zizhang Wu, Xianglong Liu:
Temporal Transformer Networks With Self-Supervision for Action Recognition. IEEE Internet Things J. 10(14): 12999-13011 (2023) - [j41]Guoming Wu, Yangfan Xu, Jun Li, Zhi-Ping Shi, Xianglong Liu:
Imperceptible Adversarial Attack With Multigranular Spatiotemporal Attention for Video Action Recognition. IEEE Internet Things J. 10(20): 17785-17796 (2023) - [j40]Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang:
Formalization of the inverse kinematics of three-fingered dexterous hand. J. Log. Algebraic Methods Program. 133: 100861 (2023) - [j39]Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan:
A unified proof technique for verifying program correctness with big-step semantics. J. Syst. Archit. 136: 102820 (2023) - [j38]Zhilei Li, Jun Li, Yuqing Ma, Rui Wang, Zhi-Ping Shi, Yifu Ding, Xianglong Liu:
Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition. IEEE Trans. Circuits Syst. Video Technol. 33(9): 5174-5185 (2023) - [j37]Fangyun Qin, Zheng Zheng, Xiaohui Wan, Zhihao Liu, Zhiping Shi:
Predicting Aging-Related Bugs Using Network Analysis on Aging-Related Dependency Networks. IEEE Trans. Emerg. Top. Comput. 11(3): 566-579 (2023) - [j36]Likun Xia, Yuan Feng, Ziheng Guo, Jinhong Ding, Yanlei Li, Yifan Li, Ming Ma, Guoxi Gan, Yehan Xu, Jingyu Luo, Zhi-Ping Shi, Yong Guan:
MuLHiTA: A Novel Multiclass Classification Framework With Multibranch LSTM and Hierarchical Temporal Attention for Early Detection of Mental Stress. IEEE Trans. Neural Networks Learn. Syst. 34(12): 9657-9670 (2023) - [c70]Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC 2023: 309-318 - [c69]Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang:
Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems. DATE 2023: 1-6 - [c68]Na Jiang, Wei Quan, Qichuan Geng, Zhi-Ping Shi, Peng Xu:
Exploiting 3D Human Recovery for Action Recognition with Spatio-Temporal Bifurcation Fusion. ICASSP 2023: 1-5 - [c67]Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang:
Reform and Practice of Programming Courses' Construction. ICCSE (2) 2023: 156-166 - [c66]Yifei Pei, Zhi-Ping Shi, Qichuan Geng, Zhaofa Wang, Yongkang Zhang, Na Jiang:
RDEPD: Re-Exploring Depth Estimation for Pedestrian Detection. ICIP 2023: 2380-2384 - [c65]Yu Qiao, Hengyi Zhang, Pengfei Sun, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhiping Shi:
Parallelizable Simple Recurrent Units with Hierarchical Memory. ICONIP (15) 2023: 380-392 - [c64]Laichao Wang, Weiding Lu, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhi-Ping Shi:
6D Object Pose Estimation with Attention Aware Bi-gated Fusion. ICONIP (2) 2023: 573-585 - [c63]Aojie Bu, Han Zhang, Jun Li, Zhiping Shi:
A Two-stream Network with Spatial Long-range Modeling for Weakly-supervised Temporal Action Localization. iThings/GreenCom/CPSCom/SmartData/Cybermatics 2023: 115-120 - [i8]Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li:
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. CoRR abs/2312.04598 (2023) - 2022
- [j35]Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi:
Making Information Hiding Effective Again. IEEE Trans. Dependable Secur. Comput. 19(4): 2576-2594 (2022) - [j34]Jun Li, Duorui Wang, Xianglong Liu, Zhi-Ping Shi, Meng Wang:
Two-Branch Attention Network via Efficient Semantic Coupling for One-Shot Learning. IEEE Trans. Image Process. 31: 341-351 (2022) - [c62]Fuwei Zhang, Zhao Zhang, Fuzhen Zhuang, Jingjing Gu, Zhiping Shi, Qing He:
Clustering-Enhanced Knowledge Graph Embedding. Big Data (CCF) 2022: 104-123 - [c61]Rong Tan, Jun Li, Zhiping Shi:
Progressive Face Super-Resolution Reconstruction Network Based on Relational Modeling. CACML 2022: 588-592 - [c60]Jian Pan, Zhao Zhang, Fuzhen Zhuang, Jingyuan Yang, Zhiping Shi:
Knowledge-Aware Topological Networks for Recommendation. CCKS 2022: 189-201 - [c59]Yongkang Zhang, Han Zhang, Guoming Wu, Yangfan Xu, Zhiping Shi, Jun Li:
TMN: Temporal-guided Multiattention Network for Action Recognition. ICPR 2022: 2964-2970 - [c58]Jian Deng, Mingyue Li, Yongxin Chen, Zhenzhou Shao, Ying Qu, Yong Guan, Jun Zhang, Zhiping Shi:
Cross-Guided Feature Fusion with Intra-Modality Reweighting for Multi-Spectral Pedestrian Detection. ICPR 2022: 4864-4870 - [c57]Linhan Li, Qianying Zhang, Shijun Zhao, Zhi-Ping Shi, Yong Guan:
Design and Implementation of OOM Module based on Rust. QRS Companion 2022: 774-775 - [i7]Yongchun Zhu, Fuzhen Zhuang, Jindong Wang, Jingwu Chen, Zhi-Ping Shi, Wenjuan Wu, Qing He:
Multi-Representation Adaptation Network for Cross-domain Image Classification. CoRR abs/2201.01002 (2022) - 2021
- [j33]Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi:
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. Int. J. Softw. Informatics 11(4): 505-520 (2021) - [j32]Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li:
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light. J. Autom. Reason. 65(1): 1-29 (2021) - [j31]Lei Zhao, Jia Su, Zhiping Shi, Yong Guan:
Feature Extraction with Apparent to Semantic Channels for Object Detection. J. Softw. 16(4): 157-166 (2021) - [j30]Zhixin Li, Lan Lin, Canlong Zhang, Huifang Ma, Weizhong Zhao, Zhi-Ping Shi:
A Semi-supervised Learning Approach Based on Adaptive Weighted Fusion for Automatic Image Annotation. ACM Trans. Multim. Comput. Commun. Appl. 17(1): 37:1-37:23 (2021) - [c56]Longxing Yang, Yu Hu, Shun Lu, Zihao Sun, Jilin Mei, Yiming Zeng, Zhiping Shi, Yinhe Han, Xiaowei Li:
DDSAS: Dynamic and Differentiable Space-Architecture Search. ACML 2021: 284-299 - [c55]Peng Xu, Na Jiang, Jun Li, Zhiping Shi:
Learning Attention Map for 3D Human Recovery from a Single RGB Image. BMVC 2021: 9 - [c54]Xinmei Fu, Zhenzhou Shao, Ying Qu, Yong Guan, Yibo Zou, Zhiping Shi, Jindong Tan:
Fast and Unsupervised Non-Local Feature Learning for Direct Volume Rendering of 3D Medical Images. IROS 2021: 5886-5891 - [c53]Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA 2021: 61-80 - [c52]Zehua Xuan, Chang-E Ren, Zhi-Ping Shi, Yong Guan:
Semi-Supervised Domain Adaption Classifier via Broad Learning System. SMC 2021: 2743-2748 - [c51]Quanxin Fu, Chang-E Ren, Jiaang Zhang, Zhiping Shi:
Adaptive Event-Triggered Control for Nonlinear Multi-Agent Systems with State Time Delay and Unknown External Disturbance. SMC 2021: 3095-3100 - [i6]Yongchun Zhu, Fuzhen Zhuang, Xiangliang Zhang, Zhiyuan Qi, Zhiping Shi, Qing He:
Combat Data Shift in Few-shot Learning with Knowledge Graph. CoRR abs/2101.11354 (2021) - [i5]Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR abs/2108.01883 (2021) - [i4]Yongkang Zhang, Jun Li, Guoming Wu, Han Zhang, Zhiping Shi, Zhaoxun Liu, Zizhang Wu:
Temporal Transformer Networks with Self-Supervision for Action Recognition. CoRR abs/2112.07338 (2021) - 2020
- [j29]Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan:
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects Comput. 32(4-6): 417-437 (2020) - [j28]Guilu Li, Chang-E Ren, C. L. Philip Chen, Zhi-Ping Shi:
Adaptive iterative learning consensus control for second-order multi-agent systems with unknown control gains. Neurocomputing 393: 15-26 (2020) - [j27]Yong Guan, Jie Zhang, Zhiping Shi, Yi Wang, Yongdong Li:
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. J. Syst. Archit. 106: 101707 (2020) - [j26]Jinrui Gan, Jianzhu Wang, Haomin Yu, Qingyong Li, Zhiping Shi:
Online Rail Surface Inspection Utilizing Spatial Consistency and Continuity. IEEE Trans. Syst. Man Cybern. Syst. 50(7): 2741-2751 (2020) - [c50]Zhao Zhang, Fuzhen Zhuang, Hengshu Zhu, Zhi-Ping Shi, Hui Xiong, Qing He:
Relational Graph Neural Network with Hierarchical Attention for Knowledge Graph Completion. AAAI 2020: 9612-9619 - [c49]Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS 2020: 44-64 - [c48]Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi:
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC 2020: 149-158 - [c47]Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li:
Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction. CVPR 2020: 4553-4562 - [c46]Qiankun Tang, Jie Li, Zhiping Shi, Yu Hu:
Lightdet: A Lightweight and Accurate Object Detection Network. ICASSP 2020: 2243-2247 - [c45]Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan:
Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM 2020: 233-250 - [c44]Na Jiang, Xingsen Wen, Zhiping Shi:
DAPC: Domain Adaptation People Counting via Style-level Transfer Learning and Scene-aware Estimation. ICPR 2020: 1067-1074 - [c43]Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan:
Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. IROS 2020: 9614-9619 - [c42]Mingyue Li, Zhenzhou Shao, Zhiping Shi, Yong Guan:
Deep Visible and Thermal Image Fusion with Cross-Modality Feature Selection for Pedestrian Detection. NPC 2020: 117-127 - [i3]Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li:
Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction. CoRR abs/2002.09905 (2020)
2010 – 2019
- 2019
- [j25]Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qianying Zhang, Yong-Dong Li:
Formalization of Geometric Algebra in HOL Light. J. Autom. Reason. 63(3): 787-808 (2019) - [j24]Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li:
Formalization of functional variation in HOL Light. J. Log. Algebraic Methods Program. 106: 29-38 (2019) - [j23]Yongchun Zhu, Fuzhen Zhuang, Jindong Wang, Jingwu Chen, Zhiping Shi, Wenjuan Wu, Qing He:
Multi-representation adaptation network for cross-domain image classification. Neural Networks 119: 214-221 (2019) - [j22]Meiyu Zhang, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan:
SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks. Secur. Commun. Networks 2019: 8690853:1-8690853:12 (2019) - [j21]Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song:
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13(1): 1096-1107 (2019) - [j20]Chuan Shi, Zhiqiang Zhang, Yugang Ji, Weipeng Wang, Philip S. Yu, Zhiping Shi:
SemRec: a personalized semantic recommendation method based on weighted heterogeneous information networks. World Wide Web 22(1): 153-184 (2019) - [c41]Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan:
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC 2019: 355-362 - [c40]Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM 2019: 121-137 - [c39]Chang Sun, Jia Su, Zhiping Shi, Yong Guan:
P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications. ICIP 2019: 4160-4164 - [c38]Wenpeng Ren, Jia Su, Chang Sun, Zhiping Shi:
An IBP-CNN Based Fast Block Partition For Intra Prediction. PCS 2019: 1-5 - [c37]Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan:
A HOL Theory of the Differential for Matrix Functions. TASE 2019: 121-127 - [c36]Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan:
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. TrustCom/BigDataSE 2019: 26-33 - [c35]Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi:
SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization. USENIX Security Symposium 2019: 1239-1256 - [i2]Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang:
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR abs/1906.06653 (2019) - [i1]Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan:
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. CoRR abs/1908.07159 (2019) - 2018
- [j19]Chang-E Ren, Zhiping Shi, Tao Du:
Distributed Observer-Based Leader-Following Consensus Control for Second-Order Stochastic Multi-Agent Systems. IEEE Access 6: 20077-20084 (2018) - [j18]Chang-E Ren, Tao Du, Guilu Li, Zhiping Shi:
Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators. IEEE Access 6: 51348-51354 (2018) - [j17]Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song:
Formal analysis of the kinematic Jacobian in screw theory. Formal Aspects Comput. 30(6): 739-757 (2018) - [j16]Qingyong Li, Zhiping Shi, Huayan Zhang, Yunqiang Tan, Shengwei Ren, Peng Dai, Weiyi Li:
A cyber-enabled visual inspection system for rail corrugation. Future Gener. Comput. Syst. 79: 374-382 (2018) - [j15]Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86: 392-402 (2018) - [c34]Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS 2018: 19 - [c33]Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi:
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) 2018: 204-212 - [c32]Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li:
Formalization of Symplectic Geometry in HOL-Light. ICFEM 2018: 270-283 - [c31]Guilu Li, Chang-E Ren, Zhengtao Ding, Zhiping Shi:
Adaptive NN leader-following consensus control of second-order nonlinear multi-agent systems with unknown control gains. SPAC 2018: 103-108 - 2017
- [j14]Yu Hu, Jing Ye, Zhiping Shi, Xiaowei Li:
LAPS: Layout-Aware Path Selection for Post-Silicon Timing Characterization. IEICE Trans. Inf. Syst. 100-D(2): 323-331 (2017) - [j13]Qianying Zhang, Zhiping Shi:
A New Way to Prevent UKS Attacks Using Hardware Security Chips. Int. J. Netw. Secur. 19(5): 823-831 (2017) - [c30]Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song:
Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. IROS 2017: 2835-2842 - [c29]Zhenzhou Shao, Gaoyu Wu, Ying Qu, Zhiping Shi, Yong Guan, Jindong Tan:
Robust Principal Component Analysis via Symmetric Alternating Direction for Moving Object Detection. PCM (2) 2017: 275-285 - 2016
- [j12]Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye:
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 43(3): 23-26 (2016) - [j11]Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang:
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). 计算机科学 43(11): 24-29 (2016) - [c28]Zhenzhou Shao, Zhiping Shi, Ying Qu, Yong Guan, Hongxing Wei, Jindong Tan:
A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction. Intelligent Information Processing 2016: 222-231 - 2015
- [j10]Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang:
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). 计算机科学 42(4): 31-36 (2015) - [c27]Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang:
Embedded System Design with Reliability-Centric Optimization. COMPSAC 2015: 33-38 - 2014
- [j9]Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei:
Formalization of Function Matrix Theory in HOL. J. Appl. Math. 2014: 201214:1-201214:10 (2014) - [j8]Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi:
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014: 327465:1-327465:10 (2014) - [j7]Xi Liu, Zhi-Ping Shi, Zhongzhi Shi:
A co-boost framework for learning object categories from Google Images with 1st and 2nd order features. Vis. Comput. 30(1): 5-17 (2014) - [c26]Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei:
Formal verification of a collision-free algorithm of dual-arm robot in HOL4. ICRA 2014: 1380-1385 - [c25]Liming Li, Zhiping Shi, Yong Guan, Jie Zhang, Hongxing Wei:
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4. Intelligent Information Processing 2014: 178-186 - [c24]Xiangyang Li, Minhua Wu, Zhiping Shi:
The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain. Intelligent Information Processing 2014: 249-258 - [c23]Xiangyang Li, Shuqiang Jiang, Xinhang Song, Luis Herranz, Zhiping Shi:
Multipath Convolutional-Recursive Neural Networks for Object Recognition. Intelligent Information Processing 2014: 269-277 - 2013
- [j6]Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei:
The Gauge Integral Theory in HOL4. J. Appl. Math. 2013: 160875:1-160875:7 (2013) - 2012
- [j5]Zhiping Shi, Xi Liu, Qingyong Li, Qing He, Zhongzhi Shi:
Extracting discriminative features for CBIR. Multim. Tools Appl. 61(2): 263-279 (2012) - [c22]Zhixin Li, Zhiping Shi, Zhengjun Tang, Weizhong Zhao:
A Novel Model for Semantic Learning and Retrieval of Images. Intelligent Information Processing 2012: 337-346 - [c21]Zhixin Li, Weizhong Zhao, Zhiqing Li, Zhiping Shi:
Automatic Image Annotation and Retrieval Using Hybrid Approach. Intelligent Information Processing 2012: 347-356 - 2011
- [j4]Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi:
Modeling continuous visual features for semantic image annotation and retrieval. Pattern Recognit. Lett. 32(3): 516-523 (2011) - 2010
- [j3]Zhixin Li, Zhiping Shi, Xi Liu, Zhiqing Li, Zhongzhi Shi:
Fusing semantic aspects for image annotation and retrieval. J. Vis. Commun. Image Represent. 21(8): 798-805 (2010) - [c20]Zhongzhi Shi, Xiaofeng Wang, Zhiping Shi, Limin Chen, Zhuxiao Wang:
A mind model for brain-like computer. IEEE ICCI 2010: 257-264 - [c19]Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi:
Automatic image annotation with continuous PLSA. ICASSP 2010: 806-809 - [c18]Zhiqing Li, Zhiping Shi, Xi Liu, Zhongzhi Shi:
A novel sparse coding model based on structural similarity. ICASSP 2010: 4170-4173 - [c17]Qingyong Li, Zhiping Shi:
Texture image retrieval using compact texton co-occurrence matrix descriptor. Multimedia Information Retrieval 2010: 83-90 - [c16]Xi Liu, Zhiping Shi, Zhixin Li, Xishun Wang, Zhongzhi Shi:
Sorted label classifier chains for learning images with multi-label. ACM Multimedia 2010: 951-954
2000 – 2009
- 2009
- [j2]Zhiping Shi, Qing He, Zhongzhi Shi:
An index and retrieval framework integrating perceptive features and semantics for multimedia databases. Multim. Tools Appl. 42(2): 207-231 (2009) - [c15]Zhixin Li, Huifang Ma, Zhiping Shi, Zhongzhi Shi:
A Probabilistic Model for Automatic Image Annotation and Retrieval. CIT (1) 2009: 14-19 - [c14]Xi Liu, Zhiping Shi, Zhongzhi Shi:
Filter object categories using CoBoost with 1ST and 2ND order features. ICIP 2009: 309-312 - [c13]Zhixin Li, Zhiping Shi, Zhiqing Li, Zhongzhi Shi:
Modeling latent aspects for automatic image annotation. ICIP 2009: 1857-1860 - [c12]Zhixin Li, Xi Liu, Zhiping Shi, Zhongzhi Shi:
Learning image semantics with latent aspect model. ICME 2009: 366-369 - [c11]Xi Liu, Zhixin Li, Zhiping Shi, Zhongzhi Shi:
Filter object categories: employing visual consistency and semisupervised approach. ICME 2009: 678-681 - [c10]Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi:
Image Classification Using Structural Sparse Coding Model. ICNC (3) 2009: 624-628 - [c9]Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi:
An Efficient Coding Model for Image Representation. ICONIP (1) 2009: 751-758 - [c8]Xi Liu, Zhiping Shi, Zhixin Li, Zhongzhi Shi:
Coboost learning of visual categories with 1st and 2nd order features from Google images. ACM Multimedia 2009: 533-536 - 2008
- [c7]Lijun Guo, Zhiping Shi, Jieyu Zhao, Rong Zhang:
Distinctive Image Region Features from Color Invariant Moments. Intelligent Information Processing 2008: 165-173 - [p1]Zhiping Shi, Qing He, Zhongzhi Shi:
Bayes-Based Relevance Feedback Method for CBIR. Innovations in Hybrid Intelligent Systems 2008: 264-271 - 2007
- [j1]Qingyong Li, Zhiping Shi, Zhongzhi Shi:
A Selective Sparse Coding Model with Embedded Attention Mechanism. Int. J. Cogn. Informatics Nat. Intell. 1(4): 61-74 (2007) - [c6]Zhiyong Zhang, Zhiping Shi, Zhiwei Shi, Zhongzhi Shi:
Contour-Based Image Retrieval. IEEE ICCI 2007: 522-529 - [c5]Qingyong Li, Zhiping Shi, Siwei Luo:
Image Retrieval Based on Fuzzy Color Semantics. FUZZ-IEEE 2007: 1-5 - [c4]Qingyong Li, Zhiping Shi, Siwei Luo:
A Neural Network Approach for Bridging the Semantic Gap in Texture Image Retrieval. IJCNN 2007: 581-585 - 2006
- [c3]Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi:
Semantics-Biased Rapid Retrieval for Video Databases. IEEE ICCI 2006: 634-639 - [c2]Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi:
Semantics Supervised Cluster-Based Index for Video Databases. CIVR 2006: 453-462 - 2005
- [c1]Qingyong Li, Zhiping Shi, Jun Shi, Zhongzhi Shi:
Swarm Intelligence Clustering Algorithm Based on Attractor. ICNC (3) 2005: 496-504
Coauthor Index
[j48] [j45] [c73] [c72] [j40] [j39] [j36] [c70] [c69] [c65] [c64] [i8] [c58] [c57] [j33] [j32] [j31] [c54] [c53] [c52] [i5] [j29] [j27] [c49] [c45] [c43] [c42] [j25] [j24] [j22] [j21] [c41] [c40] [c39] [c37] [c36] [i2] [i1] [j17] [j15] [c34] [c33] [c32] [c30] [c29] [j12] [j11] [c28] [j10] [c27] [j9] [c26] [c25] [j6]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 21:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
