Zhiping Shi

According to our database1, Zhiping Shi authored at least 87 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
SemRec: a personalized semantic recommendation method based on weighted heterogeneous information networks.
World Wide Web, 2019

Cache-Based Popular Services Pushing on High-Speed Train by Using Converged Broadcasting and Cellular Networks.
TBC, 2019

A Formal Model-Based Design Method for Robotic Systems.
IEEE Systems Journal, 2019

SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks.
Security and Communication Networks, 2019

Multi-representation adaptation network for cross-domain image classification.
Neural Networks, 2019

Formalization of functional variation in HOL Light.
J. Log. Algebr. Meth. Program., 2019

Formalization of Geometric Algebra in HOL Light.
J. Autom. Reasoning, 2019

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.
IACR Cryptology ePrint Archive, 2019

Joint Optimization of Area Spectral Efficiency and Energy Efficiency for Two-Tier Heterogeneous Ultra-Dense Networks.
IEEE Access, 2019

Optimized Code Design for Constrained DNA Data Storage With Asymmetric Errors.
IEEE Access, 2019

Generalized Real-Valued Weighted Covariance-Based Detection Methods for Cognitive Radio Networks With Correlated Multiple Antennas.
IEEE Access, 2019

SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization.
Proceedings of the 28th USENIX Security Symposium, 2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture.
Proceedings of the 18th IEEE International Conference On Trust, 2019

A HOL Theory of the Differential for Matrix Functions.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

An IBP-CNN Based Fast Block Partition For Intra Prediction.
Proceedings of the Picture Coding Symposium, 2019

P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.
Proceedings of the Formal Methods and Software Engineering, 2019

An Improved Belief Propagation Decoding of BATS Codes.
Proceedings of the 19th IEEE International Conference on Communication Technology, 2019

A Novel Decoding Scheme for Polar Code Using Convolutional Neural Network.
Proceedings of the 2019 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2019

On Hit Rate Improving and Energy Consumption Minimizing in Cache-Based Convergent Overlay Network on High-speed Train.
Proceedings of the 2019 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Sensor attack detection using history based pairwise inconsistency.
Future Generation Comp. Syst., 2018

A cyber-enabled visual inspection system for rail corrugation.
Future Generation Comp. Syst., 2018

Formal analysis of the kinematic Jacobian in screw theory.
Formal Asp. Comput., 2018

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

Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators.
IEEE Access, 2018

Adaptive NN leader-following consensus control of second-order nonlinear multi-agent systems with unknown control gains.
Proceedings of the 2018 International Conference on Security, 2018

Channel Estimation over Doubly Selective Channels Based on Basis Expansion Model and Compressive Sensing.
Proceedings of the Digital TV and Multimedia Communication - 15th International Forum, 2018

Formalization of Symplectic Geometry in HOL-Light.
Proceedings of the Formal Methods and Software Engineering, 2018

Runtime Verification of Robots Collision Avoidance Case Study.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

On Popular Services Pushing and Distributed Caching in Converged Overlay Networks.
Proceedings of the 2018 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2018

On Services Unequal Error Protecting and Pushing by Using Terrestrial Broadcasting Network.
Proceedings of the 2018 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2018

2017
A New Way to Prevent UKS Attacks Using Hardware Security Chips.
I. J. Network Security, 2017

LAPS: Layout-Aware Path Selection for Post-Silicon Timing Characterization.
IEICE Transactions, 2017

Robust Principal Component Analysis via Symmetric Alternating Direction for Moving Object Detection.
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.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

On services pushing and caching in high-speed train by using converged broadcasting and cellular networks.
Proceedings of the 2017 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2017

2016
Multi-CRC Polar Codes and Their Applications.
IEEE Communications Letters, 2016

Hybrid Parity-Check and CRC Aided SCL Decoding for Polar Codes.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction.
Proceedings of the Intelligent Information Processing VIII, 2016

2015
The multi-step PEG and ACE constrained PEG algorithms can design the LDPC codes with better cycle-connectivity.
Proceedings of the IEEE International Symposium on Information Theory, 2015

Embedded System Design with Reliability-Centric Optimization.
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.
The Visual Computer, 2014

A Case Study on Formal Analysis of an Automated Guided Vehicle System.
J. Applied Mathematics, 2014

Formalization of Function Matrix Theory in HOL.
J. Applied Mathematics, 2014

Energy efficient cognitive radio network based on multiband sensing and spectrum sharing.
IET Communications, 2014

The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain.
Proceedings of the Intelligent Information Processing VII, 2014

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.
Proceedings of the Intelligent Information Processing VII, 2014

Multipath Convolutional-Recursive Neural Networks for Object Recognition.
Proceedings of the Intelligent Information Processing VII, 2014

Formal verification of a collision-free algorithm of dual-arm robot in HOL4.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013
The Gauge Integral Theory in HOL4.
J. Applied Mathematics, 2013

Joint design of sensing and transmission in energyefficient cognitive radio systems over fading channels.
IET Communications, 2013

Energy-Efficient Joint Design of Sensing and Transmission Durations for Protection of Primary User in Cognitive Radio Systems.
IEEE Communications Letters, 2013

2012
Extracting discriminative features for CBIR.
Multimedia Tools Appl., 2012

Automatic Image Annotation and Retrieval Using Hybrid Approach.
Proceedings of the Intelligent Information Processing VI, 2012

A Novel Model for Semantic Learning and Retrieval of Images.
Proceedings of the Intelligent Information Processing VI, 2012

2011
Modeling continuous visual features for semantic image annotation and retrieval.
Pattern Recognition Letters, 2011

Channel Frequency Response Estimation for MIMO Systems with Frequency-Domain Equalization.
EURASIP J. Adv. Sig. Proc., 2011

Analyses of Interferences between Component Carriers in Carrier Aggregation.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

An Improved Combined Component Aggregated HARQ A/N.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

Loopy Belief Propagation Algorithm in Distributed Wireless Cooperative Spectrum Sensing.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

2010
Fusing semantic aspects for image annotation and retrieval.
J. Visual Communication and Image Representation, 2010

New Strategies for Coded Modulation Diversity over Rayleigh Fading Channels.
Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

Sorted label classifier chains for learning images with multi-label.
Proceedings of the 18th International Conference on Multimedia 2010, 2010

Texture image retrieval using compact texton co-occurrence matrix descriptor.
Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, 2010

A novel sparse coding model based on structural similarity.
Proceedings of the IEEE International Conference on Acoustics, 2010

Automatic image annotation with continuous PLSA.
Proceedings of the IEEE International Conference on Acoustics, 2010

A mind model for brain-like computer.
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.
Multimedia Tools Appl., 2009

Coboost learning of visual categories with 1st and 2nd order features from Google images.
Proceedings of the 17th International Conference on Multimedia 2009, 2009

An Efficient Coding Model for Image Representation.
Proceedings of the Neural Information Processing, 16th International Conference, 2009

Image Classification Using Structural Sparse Coding Model.
Proceedings of the Fifth International Conference on Natural Computation, 2009

Filter object categories: employing visual consistency and semisupervised approach.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Learning image semantics with latent aspect model.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Filter object categories using CoBoost with 1ST and 2ND order features.
Proceedings of the International Conference on Image Processing, 2009

Modeling latent aspects for automatic image annotation.
Proceedings of the International Conference on Image Processing, 2009

A Probabilistic Model for Automatic Image Annotation and Retrieval.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008
Bayes-Based Relevance Feedback Method for CBIR.
Proceedings of the Innovations in Hybrid Intelligent Systems, 2008

2007
A Selective Sparse Coding Model with Embedded Attention Mechanism.
IJCINI, 2007

A Neural Network Approach for Bridging the Semantic Gap in Texture Image Retrieval.
Proceedings of the International Joint Conference on Neural Networks, 2007

Image Retrieval Based on Fuzzy Color Semantics.
Proceedings of the FUZZ-IEEE 2007, 2007

A Combining Decoding Method of LDPC Codes for HARQ.
Proceedings of the Future Generation Communication and Networking, 2007

Contour-Based Image Retrieval.
Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006
Semantics Supervised Cluster-Based Index for Video Databases.
Proceedings of the Image and Video Retrieval, 5th International Conference, 2006

Semantics-Biased Rapid Retrieval for Video Databases.
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005
Swarm Intelligence Clustering Algorithm Based on Attractor.
Proceedings of the Advances in Natural Computation, First International Conference, 2005


  Loading...