Zhi-Ping Shi

According to our database, Zhi-Ping Shi authored at least 126 papers between 2005 and 2024.

Collaborative distances:

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

2024

Adaptive Impulsive Consensus of Nonlinear Multiagent Systems With Limited Bandwidth Under Uncertain Deception Attacks.

Chang-E Ren, Junhui Li, Zhiping Shi, Yong Guan, C. L. Philip Chen

IEEE Trans. Syst. Man Cybern. Syst., August, 2024

Efficiently estimating node influence through group sampling over large graphs.

Lingling Zhang, Zhiping Shi, Zhiwei Zhang, Ye Yuan, Guoren Wang

World Wide Web (WWW), March, 2024

Cross-project concurrency bug prediction using domain-adversarial neural network.

Fangyun Qin, Zheng Zheng, Yulei Sui, Siqian Gong, Zhi-Ping Shi, Kishor S. Trivedi

J. Syst. Softw., 2024

rOOM: A Rust-Based Linux Out of Memory Kernel Component.

Linhan Li, Qianying Zhang, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan

IEICE Trans. Inf. Syst., 2024

Flatten: Video Action Recognition is an Image Classification task.

Junlin Chen, Chengcheng Xu, Yangfan Xu, Jian Yang, Jun Li, Zhiping Shi

CoRR, 2024

Joint Visual-Textual Reasoning and Visible-Infrared Modality Alignment for Person Re-Identification.

Na Jiang, Yuxuan Qiu, Wei Song, Jiawei Liu, Zhiping Shi, Liyang Wang

Proceedings of the IEEE International Conference on Multimedia and Expo, 2024

Refinement Verification of OS Services based on a Verified Preemptive Microkernel.

Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi

Proceedings of the Fundamental Approaches to Software Engineering, 2024

SQLPass: A Semantic Effective Fuzzing Method for DBMS.

Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

MuLHiTA: A Novel Multiclass Classification Framework With Multibranch LSTM and Hierarchical Temporal Attention for Early Detection of Mental Stress.

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

IEEE Trans. Neural Networks Learn. Syst., December, 2023

Imperceptible Adversarial Attack With Multigranular Spatiotemporal Attention for Video Action Recognition.

Guoming Wu, Yangfan Xu, Jun Li, Zhi-Ping Shi, Xianglong Liu

IEEE Internet Things J., October, 2023

Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition.

Zhilei Li, Jun Li, Yuqing Ma, Rui Wang, Zhi-Ping Shi, Yifu Ding, Xianglong Liu

IEEE Trans. Circuits Syst. Video Technol., September, 2023

Temporal Transformer Networks With Self-Supervision for Action Recognition.

Yongkang Zhang, Jun Li, Na Jiang, Guoming Wu, Han Zhang, Zhi-Ping Shi, Zhaoxun Liu, Zizhang Wu, Xianglong Liu

IEEE Internet Things J., July, 2023

Formalization of the inverse kinematics of three-fingered dexterous hand.

Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang

J. Log. Algebraic Methods Program., June, 2023

A unified proof technique for verifying program correctness with big-step semantics.

Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan

J. Syst. Archit., March, 2023

Predicting Aging-Related Bugs Using Network Analysis on Aging-Related Dependency Networks.

Fangyun Qin, Zheng Zheng, Xiaohui Wan, Zhihao Liu, Zhiping Shi

IEEE Trans. Emerg. Top. Comput., 2023

Combat data shift in few-shot learning with knowledge graph.

Yongchun Zhu, Fuzhen Zhuang, Xiangliang Zhang, Zhiyuan Qi, Zhi-Ping Shi, Juan Cao, Qing He

Frontiers Comput. Sci., 2023

Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.

Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li

CoRR, 2023

A Two-stream Network with Spatial Long-range Modeling for Weakly-supervised Temporal Action Localization.

Aojie Bu, Han Zhang, Jun Li, Zhiping Shi

Proceedings of the 2023 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2023

6D Object Pose Estimation with Attention Aware Bi-gated Fusion.

Laichao Wang, Weiding Lu, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhi-Ping Shi

Proceedings of the Neural Information Processing - 30th International Conference, 2023

Parallelizable Simple Recurrent Units with Hierarchical Memory.

Yu Qiao, Hengyi Zhang, Pengfei Sun, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhiping Shi

Proceedings of the Neural Information Processing - 30th International Conference, 2023

RDEPD: Re-Exploring Depth Estimation for Pedestrian Detection.

Yifei Pei, Zhi-Ping Shi, Qichuan Geng, Zhaofa Wang, Yongkang Zhang, Na Jiang

Proceedings of the IEEE International Conference on Image Processing, 2023

Reform and Practice of Programming Courses' Construction.

Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang

Proceedings of the Computer Science and Education. Teaching and Curriculum, 2023

Exploiting 3D Human Recovery for Action Recognition with Spatio-Temporal Bifurcation Fusion.

Na Jiang, Wei Quan, Qichuan Geng, Zhi-Ping Shi, Peng Xu

Proceedings of the IEEE International Conference on Acoustics, 2023

Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems.

Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Formal Verification of Interrupt Isolation for the TrustZone-based TEE.

Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Two-Branch Attention Network via Efficient Semantic Coupling for One-Shot Learning.

Jun Li, Duorui Wang, Xianglong Liu, Zhi-Ping Shi, Meng Wang

IEEE Trans. Image Process., 2022

Making Information Hiding Effective Again.

Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi

IEEE Trans. Dependable Secur. Comput., 2022

Design and Implementation of OOM Module based on Rust.

Linhan Li, Qianying Zhang, Shijun Zhao, Zhi-Ping Shi, Yong Guan

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

TMN: Temporal-guided Multiattention Network for Action Recognition.

Yongkang Zhang, Han Zhang, Guoming Wu, Yangfan Xu, Zhiping Shi, Jun Li

Proceedings of the 26th International Conference on Pattern Recognition, 2022

Cross-Guided Feature Fusion with Intra-Modality Reweighting for Multi-Spectral Pedestrian Detection.

Jian Deng, Mingyue Li, Yongxin Chen, Zhenzhou Shao, Ying Qu, Yong Guan, Jun Zhang, Zhiping Shi

Proceedings of the 26th International Conference on Pattern Recognition, 2022

Knowledge-Aware Topological Networks for Recommendation.

Jian Pan, Zhao Zhang, Fuzhen Zhuang, Jingyuan Yang, Zhiping Shi

Proceedings of the Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy, 2022

Progressive Face Super-Resolution Reconstruction Network Based on Relational Modeling.

Rong Tan, Jun Li, Zhiping Shi

Proceedings of the Asia Conference on Algorithms, Computing and Machine Learning, 2022

Clustering-Enhanced Knowledge Graph Embedding.

Fuwei Zhang, Zhao Zhang, Fuzhen Zhuang, Jingjing Gu, Zhiping Shi, Qing He

Proceedings of the Big Data - 10th CCF Conference, 2022

2021

A Semi-supervised Learning Approach Based on Adaptive Weighted Fusion for Automatic Image Annotation.

Zhixin Li, Lan Lin, Canlong Zhang, Huifang Ma, Weizhong Zhao, Zhi-Ping Shi

ACM Trans. Multim. Comput. Commun. Appl., 2021

Feature Extraction with Apparent to Semantic Channels for Object Detection.

Lei Zhao, Jia Su, Zhiping Shi, Yong Guan

J. Softw., 2021

Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.

Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li

J. Autom. Reason., 2021

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service.

Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi

Int. J. Softw. Informatics, 2021

Temporal Transformer Networks with Self-Supervision for Action Recognition.

Yongkang Zhang, Jun Li, Guoming Wu, Han Zhang, Zhiping Shi, Zhaoxun Liu, Zizhang Wu

CoRR, 2021

Combat Data Shift in Few-shot Learning with Knowledge Graph.

Yongchun Zhu, Fuzhen Zhuang, Xiangliang Zhang, Zhiyuan Qi, Zhiping Shi, Qing He

CoRR, 2021

Semi-Supervised Domain Adaption Classifier via Broad Learning System.

Zehua Xuan, Chang-E Ren, Zhi-Ping Shi, Yong Guan

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Adaptive Event-Triggered Control for Nonlinear Multi-Agent Systems with State Time Delay and Unknown External Disturbance.

Quanxin Fu, Chang-E Ren, Jiaang Zhang, Zhiping Shi

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Fast and Unsupervised Non-Local Feature Learning for Direct Volume Rendering of 3D Medical Images.

Xinmei Fu, Zhenzhou Shao, Ying Qu, Yong Guan, Yibo Zou, Zhiping Shi, Jindong Tan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Learning Attention Map for 3D Human Recovery from a Single RGB Image.

Peng Xu, Na Jiang, Jun Li, Zhiping Shi

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

DDSAS: Dynamic and Differentiable Space-Architecture Search.

Longxing Yang, Yu Hu, Shun Lu, Zihao Sun, Jilin Mei, Yiming Zeng, Zhiping Shi, Yinhe Han, Xiaowei Li

Proceedings of the Asian Conference on Machine Learning, 2021

2020

Online Rail Surface Inspection Utilizing Spatial Consistency and Continuity.

Jinrui Gan, Jianzhu Wang, Haomin Yu, Qingyong Li, Zhiping Shi

IEEE Trans. Syst. Man Cybern. Syst., 2020

Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems.

Yong Guan, Jie Zhang, Zhiping Shi, Yi Wang, Yongdong Li

J. Syst. Archit., 2020

Adaptive iterative learning consensus control for second-order multi-agent systems with unknown control gains.

Guilu Li, Chang-E Ren, C. L. Philip Chen, Zhi-Ping Shi

Neurocomputing, 2020

Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.

Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan

Formal Aspects Comput., 2020

Deep Visible and Thermal Image Fusion with Cross-Modality Feature Selection for Pedestrian Detection.

Mingyue Li, Zhenzhou Shao, Zhiping Shi, Yong Guan

Proceedings of the Network and Parallel Computing, 2020

Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection.

Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

DAPC: Domain Adaptation People Counting via Style-level Transfer Learning and Scene-aware Estimation.

Na Jiang, Xingsen Wen, Zhiping Shi

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Formalizing the Transaction Flow Process of Hyperledger Fabric.

Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan

Proceedings of the Formal Methods and Software Engineering, 2020

Lightdet: A Lightweight and Accurate Object Detection Network.

Qiankun Tang, Jie Li, Zhiping Shi, Yu Hu

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction.

Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Formal Verification of Memory Isolation for the TrustZone-based TEE.

Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Formal Verification of Atomicity Requirements for Smart Contracts.

Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Relational Graph Neural Network with Hierarchical Attention for Knowledge Graph Completion.

Zhao Zhang, Fuzhen Zhuang, Hengshu Zhu, Zhi-Ping Shi, Hui Xiong, Qing He

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

SemRec: a personalized semantic recommendation method based on weighted heterogeneous information networks.

Chuan Shi, Zhiqiang Zhang, Yugang Ji, Weipeng Wang, Philip S. Yu, Zhiping Shi

World Wide Web, 2019

A Formal Model-Based Design Method for Robotic Systems.

Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song

IEEE Syst. J., 2019

SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks.

Meiyu Zhang, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan

Secur. Commun. Networks, 2019

Multi-representation adaptation network for cross-domain image classification.

Yongchun Zhu, Fuzhen Zhuang, Jindong Wang, Jingwu Chen, Zhiping Shi, Wenjuan Wu, Qing He

Neural Networks, 2019

Formalization of functional variation in HOL Light.

Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li

J. Log. Algebraic Methods Program., 2019

Formalization of Geometric Algebra in HOL Light.

Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qianying Zhang, Yong-Dong Li

J. Autom. Reason., 2019

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.

Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang

CoRR, 2019

SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization.

Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi

Proceedings of the 28th USENIX Security Symposium, 2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture.

Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan

Proceedings of the 18th IEEE International Conference On Trust, 2019

A HOL Theory of the Differential for Matrix Functions.

Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

An IBP-CNN Based Fast Block Partition For Intra Prediction.

Wenpeng Ren, Jia Su, Chang Sun, Zhiping Shi

Proceedings of the Picture Coding Symposium, 2019

P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications.

Chang Sun, Jia Su, Zhiping Shi, Yong Guan

Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han

Proceedings of the Formal Methods and Software Engineering, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Sensor attack detection using history based pairwise inconsistency.

Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi

Future Gener. Comput. Syst., 2018

A cyber-enabled visual inspection system for rail corrugation.

Qingyong Li, Zhiping Shi, Huayan Zhang, Yunqiang Tan, Shengwei Ren, Peng Dai, Weiyi Li

Future Gener. Comput. Syst., 2018

Formal analysis of the kinematic Jacobian in screw theory.

Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song

Formal Aspects Comput., 2018

Distributed Observer-Based Leader-Following Consensus Control for Second-Order Stochastic Multi-Agent Systems.

Chang-E Ren, Zhiping Shi, Tao Du

IEEE Access, 2018

Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators.

Chang-E Ren, Tao Du, Guilu Li, Zhiping Shi

IEEE Access, 2018

Adaptive NN leader-following consensus control of second-order nonlinear multi-agent systems with unknown control gains.

Guilu Li, Chang-E Ren, Zhengtao Ding, Zhiping Shi

Proceedings of the 2018 International Conference on Security, 2018

Formalization of Symplectic Geometry in HOL-Light.

Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li

Proceedings of the Formal Methods and Software Engineering, 2018

Runtime Verification of Robots Collision Avoidance Case Study.

Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.

Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

A New Way to Prevent UKS Attacks Using Hardware Security Chips.

Qianying Zhang, Zhiping Shi

Int. J. Netw. Secur., 2017

LAPS: Layout-Aware Path Selection for Post-Silicon Timing Characterization.

Yu Hu, Jing Ye, Zhiping Shi, Xiaowei Li

IEICE Trans. Inf. Syst., 2017

Robust Principal Component Analysis via Symmetric Alternating Direction for Moving Object Detection.

Zhenzhou Shao, Gaoyu Wu, Ying Qu, Zhiping Shi, Yong Guan, Jindong Tan

Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017

Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity.

Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang

计算机科学, 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).

Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye

计算机科学, 2016

A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction.

Zhenzhou Shao, Zhiping Shi, Ying Qu, Yong Guan, Hongxing Wei, Jindong Tan

Proceedings of the Intelligent Information Processing VIII, 2016

2015

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).

Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang

计算机科学, 2015

Embedded System Design with Reliability-Centric Optimization.

Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

A co-boost framework for learning object categories from Google Images with 1st and 2nd order features.

Xi Liu, Zhi-Ping Shi, Zhongzhi Shi

Vis. Comput., 2014

A Case Study on Formal Analysis of an Automated Guided Vehicle System.

Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi

J. Appl. Math., 2014

Formalization of Function Matrix Theory in HOL.

Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

J. Appl. Math., 2014

The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain.

Xiangyang Li, Minhua Wu, Zhiping Shi

Proceedings of the Intelligent Information Processing VII, 2014

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.

Liming Li, Zhiping Shi, Yong Guan, Jie Zhang, Hongxing Wei

Proceedings of the Intelligent Information Processing VII, 2014

Multipath Convolutional-Recursive Neural Networks for Object Recognition.

Xiangyang Li, Shuqiang Jiang, Xinhang Song, Luis Herranz, Zhiping Shi

Proceedings of the Intelligent Information Processing VII, 2014

Formal verification of a collision-free algorithm of dual-arm robot in HOL4.

Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

The Gauge Integral Theory in HOL4.

Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

J. Appl. Math., 2013

2012

Extracting discriminative features for CBIR.

Zhiping Shi, Xi Liu, Qingyong Li, Qing He, Zhongzhi Shi

Multim. Tools Appl., 2012

Automatic Image Annotation and Retrieval Using Hybrid Approach.

Zhixin Li, Weizhong Zhao, Zhiqing Li, Zhiping Shi

Proceedings of the Intelligent Information Processing VI, 2012

A Novel Model for Semantic Learning and Retrieval of Images.

Zhixin Li, Zhiping Shi, Zhengjun Tang, Weizhong Zhao

Proceedings of the Intelligent Information Processing VI, 2012

2011

Modeling continuous visual features for semantic image annotation and retrieval.

Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi

Pattern Recognit. Lett., 2011

2010

Fusing semantic aspects for image annotation and retrieval.

Zhixin Li, Zhiping Shi, Xi Liu, Zhiqing Li, Zhongzhi Shi

J. Vis. Commun. Image Represent., 2010

Sorted label classifier chains for learning images with multi-label.

Xi Liu, Zhiping Shi, Zhixin Li, Xishun Wang, Zhongzhi Shi

Proceedings of the 18th International Conference on Multimedia 2010, 2010

Texture image retrieval using compact texton co-occurrence matrix descriptor.

Qingyong Li, Zhiping Shi

Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, 2010

A novel sparse coding model based on structural similarity.

Zhiqing Li, Zhiping Shi, Xi Liu, Zhongzhi Shi

Proceedings of the IEEE International Conference on Acoustics, 2010

Automatic image annotation with continuous PLSA.

Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi

Proceedings of the IEEE International Conference on Acoustics, 2010

A mind model for brain-like computer.

Zhongzhi Shi, Xiaofeng Wang, Zhiping Shi, Limin Chen, Zhuxiao Wang

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

An index and retrieval framework integrating perceptive features and semantics for multimedia databases.

Zhiping Shi, Qing He, Zhongzhi Shi

Multim. Tools Appl., 2009

Coboost learning of visual categories with 1st and 2nd order features from Google images.

Xi Liu, Zhiping Shi, Zhixin Li, Zhongzhi Shi

Proceedings of the 17th International Conference on Multimedia 2009, 2009

An Efficient Coding Model for Image Representation.

Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi

Proceedings of the Neural Information Processing, 16th International Conference, 2009

Image Classification Using Structural Sparse Coding Model.

Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi

Proceedings of the Fifth International Conference on Natural Computation, 2009

Filter object categories: employing visual consistency and semisupervised approach.

Xi Liu, Zhixin Li, Zhiping Shi, Zhongzhi Shi

Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Learning image semantics with latent aspect model.

Zhixin Li, Xi Liu, Zhiping Shi, Zhongzhi Shi

Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Filter object categories using CoBoost with 1^ST and 2^ND order features.

Xi Liu, Zhiping Shi, Zhongzhi Shi

Proceedings of the International Conference on Image Processing, 2009

Modeling latent aspects for automatic image annotation.

Zhixin Li, Zhiping Shi, Zhiqing Li, Zhongzhi Shi

Proceedings of the International Conference on Image Processing, 2009

A Probabilistic Model for Automatic Image Annotation and Retrieval.

Zhixin Li, Huifang Ma, Zhiping Shi, Zhongzhi Shi

Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008

Bayes-Based Relevance Feedback Method for CBIR.

Zhiping Shi, Qing He, Zhongzhi Shi

Proceedings of the Innovations in Hybrid Intelligent Systems, 2008

Distinctive Image Region Features from Color Invariant Moments.

Lijun Guo, Zhiping Shi, Jieyu Zhao, Rong Zhang

Proceedings of the Intelligent Information Processing IV, 2008

2007

A Selective Sparse Coding Model with Embedded Attention Mechanism.

Qingyong Li, Zhiping Shi, Zhongzhi Shi

Int. J. Cogn. Informatics Nat. Intell., 2007

A Neural Network Approach for Bridging the Semantic Gap in Texture Image Retrieval.

Qingyong Li, Zhiping Shi, Siwei Luo

Proceedings of the International Joint Conference on Neural Networks, 2007

Image Retrieval Based on Fuzzy Color Semantics.

Qingyong Li, Zhiping Shi, Siwei Luo

Proceedings of the FUZZ-IEEE 2007, 2007

Contour-Based Image Retrieval.

Zhiyong Zhang, Zhiping Shi, Zhiwei Shi, Zhongzhi Shi

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

Semantics Supervised Cluster-Based Index for Video Databases.

Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi

Proceedings of the Image and Video Retrieval, 5th International Conference, 2006

Semantics-Biased Rapid Retrieval for Video Databases.

Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005

Swarm Intelligence Clustering Algorithm Based on Attractor.

Qingyong Li, Zhiping Shi, Jun Shi, Zhongzhi Shi

Proceedings of the Advances in Natural Computation, First International Conference, 2005