Zhi-Ping Shi

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

Clustering-Enhanced Knowledge Graph Embedding.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

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

Feature Extraction with Apparent to Semantic Channels for Object Detection.

[BibT_eX]

[DOI]

J. Softw., 2021

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

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

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

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

Temporal Transformer Networks with Self-Supervision for Action Recognition.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Semi-Supervised Domain Adaption Classifier via Broad Learning System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

DDSAS: Dynamic and Differentiable Space-Architecture Search.

[BibT_eX]

[DOI]

Proceedings of the Asian Conference on Machine Learning, 2021

2020

Online Rail Surface Inspection Utilizing Spatial Consistency and Continuity.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

J. Syst. Archit., 2020

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

[BibT_eX]

[DOI]

Neurocomputing, 2020

Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

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

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 2020

Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Na Jiang

Xingsen Wen

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

Formalizing the Transaction Flow Process of Hyperledger Fabric.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Lightdet: A Lightweight and Accurate Object Detection Network.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Formal Verification of Atomicity Requirements for Smart Contracts.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

World Wide Web, 2019

A Formal Model-Based Design Method for Robotic Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

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

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2019

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

[BibT_eX]

[DOI]

Neural Networks, 2019

Formalization of functional variation in HOL Light.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Formalization of Geometric Algebra in HOL Light.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture.

[BibT_eX]

[DOI]

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

A HOL Theory of the Differential for Matrix Functions.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Picture Coding Symposium, 2019

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

[BibT_eX]

[DOI]

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

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

[BibT_eX]

[DOI]

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

2018

Sensor attack detection using history based pairwise inconsistency.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

A cyber-enabled visual inspection system for rail corrugation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Formal analysis of the kinematic Jacobian in screw theory.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

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

[BibT_eX]

[DOI]

Chang-E Ren

Tao Du

IEEE Access, 2018

Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators.

[BibT_eX]

[DOI]

IEEE Access, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Security, 2018

Formalization of Symplectic Geometry in HOL-Light.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Runtime Verification of Robots Collision Avoidance Case Study.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Qianying Zhang

Int. J. Netw. Secur., 2017

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

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

计算机科学, 2016

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

[BibT_eX]

[DOI]

计算机科学, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VIII, 2016

2015

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

[BibT_eX]

[DOI]

计算机科学, 2015

Embedded System Design with Reliability-Centric Optimization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xi Liu

Zhi-Ping Shi

Vis. Comput., 2014

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

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Formalization of Function Matrix Theory in HOL.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

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

[BibT_eX]

[DOI]

Xiangyang Li

Minhua Wu

Proceedings of the Intelligent Information Processing VII, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

Multipath Convolutional-Recursive Neural Networks for Object Recognition.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

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

[BibT_eX]

[DOI]

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

2013

The Gauge Integral Theory in HOL4.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

2012

Extracting discriminative features for CBIR.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2012

Automatic Image Annotation and Retrieval Using Hybrid Approach.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

A Novel Model for Semantic Learning and Retrieval of Images.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

2011

Modeling continuous visual features for semantic image annotation and retrieval.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2011

2010

Fusing semantic aspects for image annotation and retrieval.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 2010

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

A novel sparse coding model based on structural similarity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2010

Automatic image annotation with continuous PLSA.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2010

A mind model for brain-like computer.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Qing He

Multim. Tools Appl., 2009

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

[BibT_eX]

[DOI]

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

An Efficient Coding Model for Image Representation.

[BibT_eX]

[DOI]

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

Image Classification Using Structural Sparse Coding Model.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Natural Computation, 2009

Filter object categories: employing visual consistency and semisupervised approach.

[BibT_eX]

[DOI]

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

Learning image semantics with latent aspect model.

[BibT_eX]

[DOI]

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

Filter object categories using CoBoost with 1<sup>ST</sup> and 2<sup>ND</sup> order features.

[BibT_eX]

[DOI]

Xi Liu

Proceedings of the International Conference on Image Processing, 2009

Modeling latent aspects for automatic image annotation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Image Processing, 2009

A Probabilistic Model for Automatic Image Annotation and Retrieval.

[BibT_eX]

[DOI]

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

2008

Bayes-Based Relevance Feedback Method for CBIR.

[BibT_eX]

[DOI]

Qing He

Proceedings of the Innovations in Hybrid Intelligent Systems, 2008

Distinctive Image Region Features from Color Invariant Moments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing IV, 2008

2007

A Selective Sparse Coding Model with Embedded Attention Mechanism.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Siwei Luo

Proceedings of the International Joint Conference on Neural Networks, 2007

Image Retrieval Based on Fuzzy Color Semantics.

[BibT_eX]

[DOI]