Hongbo Li
According to our database1,
Hongbo Li
authored at least 135 papers
between 1998 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2019
Saving constraint checks in maintaining coarse-grained generalized arc consistency.
Neural Computing and Applications, 2019
Quantum Algorithm Design: Techniques and Applications.
J. Systems Science & Complexity, 2019
Automated Theorem Proving Practice with Null Geometric Algebra.
J. Systems Science & Complexity, 2019
Foreword to the Special Issue.
J. Systems Science & Complexity, 2019
Designated-server identity-based authenticated encryption with keyword search for encrypted emails.
Inf. Sci., 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
Efficient concolic testing of MPI applications.
Proceedings of the 28th International Conference on Compiler Construction, 2019
2018
Adaptive Fuzzy Control for Pure-Feedback Nonlinear Systems With Nonaffine Functions Being Semibounded and Indifferentiable.
IEEE Trans. Fuzzy Systems, 2018
EFTG: Efficient and Flexible Top-K Geo-textual Publish/Subscribe.
TIIS, 2018
An Efficient Public-Key Searchable Encryption Scheme Secure against Inside Keyword Guessing Attacks.
IACR Cryptology ePrint Archive, 2018
Ciphertext-Policy Attribute-Based Encrypted Data Equality Test and Classification.
IACR Cryptology ePrint Archive, 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?
Electronic Commerce Research and Applications, 2018
End-to-End ConvNet for Tactile Recognition Using Residual Orthogonal Tiling and Pyramid Convolution Ensemble.
Cognitive Computation, 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
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. Systems Science, 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.
Decision Support Systems, 2017
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension.
CoRR, 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
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 Netw. Learning Syst., 2016
A genetic algorithm for the robust resource leveling problem.
J. Scheduling, 2016
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry.
Mathematics in Computer Science, 2016
Cluster consensus of high-order multi-agent systems with switching topologies.
Int. J. Systems Science, 2016
Scaled cluster consensus of discrete-time multi-agent systems with general directed topologies.
Int. J. Systems Science, 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 Processing, 2015
Stabilization and Separation Principle of Networked Control Systems Using the T-S Fuzzy Model Approach.
IEEE Trans. Fuzzy Systems, 2015
Time optimal feedrate generation with confined tracking error based on linear programming.
J. Systems Science & Complexity, 2015
Low-Load Survivable Routing Protocol for LEO Satellite Networks.
IJWIN, 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.
Wireless Networks, 2014
Gain Scheduling Control of Delta Operator System Using Network-Based Measurements.
IEEE Trans. Instrumentation and Measurement, 2014
Sliding-Mode Predictive Control of Networked Control Systems Under a Multiple-Packet Transmission Policy.
IEEE Trans. Industrial Electronics, 2014
H ∞ stabilisation of networked control systems with time delays and packet losses.
Mathematical Structures in Computer Science, 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. Applied Mathematics, 2014
Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.
International Journal on Artificial Intelligence Tools, 2014
Spectral Characterizations of the Corona of a Cycle and Two Isolated Vertices.
Graphs and Combinatorics, 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.
Quality and Reliability 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. Systems Science & Complexity, 2013
Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control.
J. Systems Science & Complexity, 2013
Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry
CoRR, 2013
A network-bound-dependent stabilization method of networked control systems.
Automatica, 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. Instrumentation and Measurement, 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. Systems Science & Complexity, 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
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. Industrial Electronics, 2011
An Improved TCP Friendly Rate Control Algorithm for Wireless Networks.
IEICE Transactions, 2011
Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles.
SCIENCE CHINA Information Sciences, 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 ℝ3, 3, 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.
Simulation Modelling Practice and Theory, 2010
Theoretical investigation of an energetic fullerene derivative.
Journal of Computational Chemistry, 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. Industrial Electronics, 2009
Optimal Stabilizing Gain Selection for Networked Control Systems With Time Delays and Packet Losses.
IEEE Trans. Contr. Sys. Techn., 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.
IJCLCLP, 2008
Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations.
Computers & Mathematics with Applications, 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.
Applied Mathematics and Computation, 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.
Computers & Chemical Engineering, 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
nD 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
nD 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