Hongbo Li

According to our database1, Hongbo Li authored at least 157 papers between 1998 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
On combining variable ordering heuristics for constraint satisfaction problems.
J. Heuristics, 2020

Attribute-Based Equality Test Over Encrypted Data Without Random Oracles.
IEEE Access, 2020

Selection of a Critical Time Scale of Real-Time Dispatching for Power Systems With High Proportion Renewable Power Sources.
IEEE Access, 2020

GramFS: The Graph Model-based Namespace Management of Large-scale Distributed File Systems.
Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020

Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Windowed Fourier transform and general wavelet algorithms in quantum computation.
Quantum Inf. Comput., 2019

Saving constraint checks in maintaining coarse-grained generalized arc consistency.
Neural Computing and Applications, 2019

Quantum Algorithm Design: Techniques and Applications.
J. Syst. Sci. Complex., 2019

Automated Theorem Proving Practice with Null Geometric Algebra.
J. Syst. Sci. Complex., 2019

Foreword to the Special Issue.
J. Syst. Sci. Complex., 2019

Designated-server identity-based authenticated encryption with keyword search for encrypted emails.
Inf. Sci., 2019

Improved quantum algorithm for the random subset sum problem.
CoRR, 2019

Public Key Authenticated Encryption With Designated Equality Test and its Applications in Diagnostic Related Groups.
IEEE Access, 2019

Design and Implementation of Lead-Carbon Battery Storage System.
IEEE Access, 2019

Authorized Equality Test on Identity-Based Ciphertexts for Secret Data Sharing via Cloud Storage.
IEEE Access, 2019

FT-iSort: efficient fault tolerance for introsort.
Proceedings of the International Conference for High Performance Computing, 2019

Towards Enhanced Security for Certificateless Public-Key Authenticated Encryption with Keyword Search.
Proceedings of the Provable Security, 2019

An Aircraft Detection Method Based on Improved Mask R-CNN in Remotely Sensed Imagery.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Bistatic Synthetic Aperture Radar Imaging with Multi-GNSS Transmitters.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

A Complex-Valued CNN for Different Activation Functions in Polarsar Image Classification.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

A Transfer Learning Method of Ship Identification Based on Weighted Hog Features.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

An Efficient and Flexible Metadata Management Layer for Local File Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

P-SOBI: A Parallel Implementation for Second Order Blind Identification Algorithm.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Pream: Enhancing HPC Storage System Performance with Pre-Allocated Metadata Management Mechanism.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Efficient concolic testing of MPI applications.
Proceedings of the 28th International Conference on Compiler Construction, 2019

2018
Pre- and Post-Deployment Dynamic Bug Detection Techniques for MPI Programs.
PhD thesis, 2018

Adaptive Fuzzy Control for Pure-Feedback Nonlinear Systems With Nonaffine Functions Being Semibounded and Indifferentiable.
IEEE Trans. Fuzzy Syst., 2018

EFTG: Efficient and Flexible Top-K Geo-textual Publish/Subscribe.
KSII Trans. Internet Inf. Syst., 2018

Ciphertext-Policy Attribute-Based Encrypted Data Equality Test and Classification.
IACR Cryptol. ePrint Arch., 2018

Multi-mode resource leveling in projects with mode-dependent generalized precedence relations.
Expert Syst. Appl., 2018

Does online media sequence matter in product marketing?
Electron. Commer. Res. Appl., 2018

End-to-End ConvNet for Tactile Recognition Using Residual Orthogonal Tiling and Pyramid Convolution Ensemble.
Cogn. Comput., 2018

A Novel Strategy of Combining Variable Ordering Heuristics for Constraint Satisfaction Problems.
IEEE Access, 2018

Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs.
Proceedings of the International Conference for High Performance Computing, 2018

Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

COMPI: Concolic Testing for MPI Applications.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Non-intrusively Avoiding Scaling Problems in and out of MPI Collectives.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Shadow Tracking of Moving Target Based on CNN for Video SAR System.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

Recognition of Windmills in Remote Sensing Image By SVM and Morphological Attribute Filters.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

A Transfer Learning Method For Ship Recognition In Multi-Optical Remote Sensing Satellites.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2018

Improved Bee Colony Optimization for Traveling Salesman Problem.
Proceedings of the Fuzzy Systems and Data Mining IV, 2018

Design of a Wideband Receiving Antenna for High-Frequency Ground Wave Radar.
Proceedings of the Communications, Signal Processing, and Systems, 2018

A Transfer Learning Method for Ship Target Recognition in Remote Sensing Image.
Proceedings of the Communications, Signal Processing, and Systems, 2018

Outsourced Ciphertext-Policy Attribute-Based Encryption with Equality Test.
Proceedings of the Information Security and Cryptology - 14th International Conference, 2018

2017
Neural-network-based sliding-mode control for multiple rigid-body attitude tracking with inertial information completely unknown.
Inf. Sci., 2017

An efficient public-key searchable encryption scheme secure against inside keyword guessing attacks.
Inf. Sci., 2017

The consensus region design and analysis of fractional-order multi-agent systems.
Int. J. Syst. Sci., 2017

Advancing the incremental fusion of robotic sensory features using online multi-kernel extreme learning machine.
Frontiers Comput. Sci., 2017

Test sequencing for sequential system diagnosis with precedence constraints and imperfect tests.
Decis. Support Syst., 2017

Narrowing Support Searching Range in Maintaining Arc Consistency for Solving Constraint Satisfaction Problems.
IEEE Access, 2017

Correcting soft errors online in fast fourier transform.
Proceedings of the International Conference for High Performance Computing, 2017

Parastack: efficient hang detection for MPI programs at large scale.
Proceedings of the International Conference for High Performance Computing, 2017

FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Customized Filesystem with Dynamic Stripe Strategies on Lustre-Based Hadoop.
Proceedings of the Parallel Architecture, Algorithm and Programming, 2017

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Automated Geometric Reasoning with Geometric Algebra: Theory and Practice.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

A New Shadow Tracking Method to Locate the Moving Target in SAR Imagery Based on KCF.
Proceedings of the Communications, Signal Processing, and Systems, 2017

High-Frequency Spectrum Analysis and Channel Availability Decision on Sea Surface Environment.
Proceedings of the Communications, Signal Processing, and Systems, 2017

Fuzzy Keyword Search and Access Control over Ciphertexts in Cloud Computing.
Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017

2016
Adaptive Neural Control for a Class of Pure-Feedback Nonlinear Systems via Dynamic Surface Technique.
IEEE Trans. Neural Networks Learn. Syst., 2016

A genetic algorithm for the robust resource leveling problem.
J. Sched., 2016

Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry.
Mathematics in Computer Science, 2016

物联网中具有时间持续性特征的乱序事件查询处理技术研究 (Research of Interval-based Out-of-order Event Processing in Internet of Things).
计算机科学, 2016

Cluster consensus of high-order multi-agent systems with switching topologies.
Int. J. Syst. Sci., 2016

Scaled cluster consensus of discrete-time multi-agent systems with general directed topologies.
Int. J. Syst. Sci., 2016

Improving degree-based variable ordering heuristics for solving constraint satisfaction problems.
J. Heuristics, 2016

3D Moth-inspired chemical plume tracking and adaptive step control strategy.
Adaptive Behaviour, 2016

GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing.
Proceedings of the International Conference for High Performance Computing, 2016

Road extraction base on Zernike algorithm on SAR image.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Telepresence control of humanoid robot via high-frequency phase-tagged SSVEP stimuli.
Proceedings of the IEEE 14th International Workshop on Advanced Motion Control, 2016

Efficient Spatio-Temporal Tactile Object Recognition with Randomized Tiling Convolutional Networks in a Hierarchical Fusion Strategy.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Visual Tracking via Sparse and Local Linear Coding.
IEEE Trans. Image Process., 2015

Stabilization and Separation Principle of Networked Control Systems Using the T-S Fuzzy Model Approach.
IEEE Trans. Fuzzy Syst., 2015

Time optimal feedrate generation with confined tracking error based on linear programming.
J. Syst. Sci. Complex., 2015

Low-Load Survivable Routing Protocol for LEO Satellite Networks.
Int. J. Wirel. Inf. Networks, 2015

Observer-based cluster consensus control of high-order multi-agent systems.
Neurocomputing, 2015

A statistical learning based image denoising approach.
Frontiers Comput. Sci., 2015

Three-Dimensional Projective Geometry with Geometric Algebra.
CoRR, 2015

3D moth-inspired chemical plume tracking.
Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015

Symbolic Geometric Reasoning with Advanced Invariant Algebras.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Detection and imaging of moving objects with multichannel SAR system.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

An application of the subspace approach on radar speech enhancement.
Proceedings of the 11th International Conference on Natural Computation, 2015

2014
A survivable routing protocol for two-layered LEO/MEO satellite networks.
Wirel. Networks, 2014

Gain Scheduling Control of Delta Operator System Using Network-Based Measurements.
IEEE Trans. Instrum. Meas., 2014

Sliding-Mode Predictive Control of Networked Control Systems Under a Multiple-Packet Transmission Policy.
IEEE Trans. Ind. Electron., 2014

<i>H</i> <sub>∞</sub> stabilisation of networked control systems with time delays and packet losses.
Math. Struct. Comput. Sci., 2014

A Multi-Threshold Granulation Model for Incomplete Decision Tables.
JSW, 2014

Analyzing Integrated Cost-Schedule Risk for Complex Product Systems R&D Projects.
J. Appl. Math., 2014

Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.
Int. J. Artif. Intell. Tools, 2014

Spectral Characterizations of the Corona of a Cycle and Two Isolated Vertices.
Graphs Comb., 2014

Robust control for Markovian jump delta operator systems with actuator saturation.
Eur. J. Control, 2014

Reduction among bracket polynomials.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

An improved algorithm of mining preferred browsing paths.
Proceedings of the 10th International Conference on Natural Computation, 2014

Low illumination image Retinex enhancement algorithm based on guided filtering.
Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

2013
Dynamic Fault-Tolerant Routing Based on FSA for LEO Satellite Networks.
IEEE Trans. Computers, 2013

Assessing Performance Risk for Complex Product Development: A Simulation-Based Model.
Qual. Reliab. Eng. Int., 2013

Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion.
Mathematics in Computer Science, 2013

Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction.
Knowl. Based Syst., 2013

Geometric error control in the parabola-blending linear interpolator.
J. Syst. Sci. Complex., 2013

Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control.
J. Syst. Sci. Complex., 2013

Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry
CoRR, 2013

A network-bound-dependent stabilization method of networked control systems.
Autom., 2013

Cooperative control for a class of large-scale linear system via delta operator approach.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Making Simple Tabular ReductionWorks on Negative Table Constraints.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Optimal State Feedback Integral Control Using Network-Based Measurements.
IEEE Trans. Instrum. Meas., 2012

Tunneling Blasting Simulation for Digital Mine.
Trans. Edutainment, 2012

Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter.
Mathematics in Computer Science, 2012

Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations.
Mathematics in Computer Science, 2012

Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC.
Mathematics in Computer Science, 2012

B-spline patches and transfinite interpolation method for PDE controlled simulation.
J. Syst. Sci. Complex., 2012

A SPA-based K-means clustering algorithm for the remote sensing information extraction.
Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

A modified single-phase h-bridge PWM rectifier with power decoupling.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Partial Max-restricted Path Consistency.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011
Gain-Scheduling-Based State Feedback Integral Control for Networked Control Systems.
IEEE Trans. Ind. Electron., 2011

An Improved TCP Friendly Rate Control Algorithm for Wireless Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles.
Sci. China Inf. Sci., 2011

Approximate rational solutions torational ODEs defined on discrete differentiable curves.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

EDA-based output tracking control for networked control systems with time delays and packet losses.
Proceedings of the IEEE International Workshop on Haptic Audio Visual Environments and Games, 2011

Network soft partition based on topological potential.
Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

Community identification based on clustering coefficient.
Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

Line Geometry in Terms of the Null Geometric Algebra over ℝ<sup>3, 3</sup>, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.
Proceedings of the Guide to Geometric Algebra in Practice., 2011

On Geometric Theorem Proving with Null Geometric Algebra.
Proceedings of the Guide to Geometric Algebra in Practice., 2011

2010
Visual simulation of GaInP thin film growth.
Simul. Model. Pract. Theory, 2010

Theoretical investigation of an energetic fullerene derivative.
J. Comput. Chem., 2010

Modeling Government Credit Information Systems Diffusion in China: A System Dynamics Approach.
Proceedings of the Pacific Asia Conference on Information Systems, 2010

Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra.
Proceedings of the Geometric Algebra Computing - in Engineering and Computer Science., 2010

2009
EDA-Based Speed Control of a Networked DC Motor System With Time Delays and Packet Losses.
IEEE Trans. Ind. Electron., 2009

Optimal Stabilizing Gain Selection for Networked Control Systems With Time Delays and Packet Losses.
IEEE Trans. Control. Syst. Technol., 2009

Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.
Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008
A symbolic approach to polyhedral scene analysis by parametric calotte propagation.
Robotica, 2008

Adaptive filtering under maximum mutual information criterion.
Neurocomputing, 2008

Feature Weighting Random Forest for Detection of Hidden Web Search Interfaces.
Int. J. Comput. Linguistics Chin. Lang. Process., 2008

Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations.
Comput. Math. Appl., 2008

Complex brackets, balanced complex differences, and applications in symbolic geometric computing.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Optimization and stabilization of networked control systems: An Estimation of Distribution Algorithm approach.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Elliptic equation's new solutions and their applications to two nonlinear partial differential equations.
Appl. Math. Comput., 2007

A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Measure observability by the generalized informational correlation.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
A dynamic interaction mass transfer model for simulating the mass transfer process in extraction columns.
Comput. Chem. Eng., 2006

On the Mixed Cayley-Sylvester Resultant Matrix.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005
Optimal Controller Design for a class of Networked Control Systems.
Proceedings of the 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 2005

2004
Symbolic computation in the homogeneous geometric model with clifford algebra.
Proceedings of the Symbolic and Algebraic Computation, 2004

Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis.
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

On Miquel's Five-Circle Theorem.
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

<i>n</i>D Object Representation and Detection from Single 2D Line Drawing.
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

Intrinsic Differential Geometry with Geometric Calculus.
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

<i>n</i>D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry.
J. Symb. Comput., 2003

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry.
J. Symb. Comput., 2003

2002
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.
Proceedings of the Automated Deduction in Geometry, 2002

2001
Trifocal Tensors with Grassmann-Cayley Algebra.
Proceedings of the Robot Vision, 2001

2000
Vectorial Equations Solving for Mechanical Geometry Theorem Proving.
J. Autom. Reasoning, 2000

The Lie Model for Euclidean Geometry.
Proceedings of the Algebraic Frames for the Perception-Action Cycle, 2000

Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry.
J. Autom. Reasoning, 1998

Some Applications of Clifford Algebra to Geometries.
Proceedings of the Automated Deduction in Geometry, 1998


  Loading...