


default search action
Zhi-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
(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
- 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]