Jinbo Huang

According to our database, Jinbo Huang authored at least 42 papers between 2003 and 2024.

Collaborative distances:

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

2024

Generative Software Engineering.

Yuan Huang, Yinan Chen, Xiangping Chen, Junqi Chen, Rui Peng, Zhicao Tang, Jinbo Huang, Furen Xu, Zibin Zheng

CoRR, 2024

2023

Magnetic Anomaly Detection Based on a Compound Tri-Stable Stochastic Resonance System.

Jinbo Huang, Zhen Zheng, Yu Zhou, Yuran Tan, Chengjun Wang, Guangbo Xu, Bingting Zha

Sensors, November, 2023

BCGen: a comment generation method for bytecode.

Yuan Huang, Jinbo Huang, Xiangping Chen, Kunning He, Xiaocong Zhou

Autom. Softw. Eng., 2023

2022

Single-Stage Adaptive Multi-Scale Point Cloud Noise Filtering Algorithm Based on Feature Information.

Zhen Zheng, Bingting Zha, Yu Zhou, Jinbo Huang, Youshi Xuchen, He Zhang

Remote. Sens., 2022

Correction to: Classification of thermal image of clinical burn based on incremental reinforcement learning.

Xianjun Wu, Wendong Huang, Xiaoli Wu, Shenghang Wu, Jinbo Huang

Neural Comput. Appl., 2022

Classification of thermal image of clinical burn based on incremental reinforcement learning.

Xianjun Wu, Wendong Huang, Xiaoli Wu, Shenghang Wu, Jinbo Huang

Neural Comput. Appl., 2022

Nonparametric mean-lower partial moment model and enhanced index investment.

Jinbo Huang, Yong Li, Haixiang Yao

Comput. Oper. Res., 2022

2021

Internet of things in health management systems: A review.

Jinbo Huang, Xianjun Wu, Wendong Huang, Xiaoli Wu, S. Wang

Int. J. Commun. Syst., 2021

2020

Simultaneous localization and mapping of medical burn areas based on binocular vision and capsule networks.

Xianjun Wu, Heming Chen, Xiaoli Wu, Shunjun Wu, Jinbo Huang

Soft Comput., 2020

2019

Resilient consensus with switching networks and heterogeneous agents.

Jinbo Huang, Yiming Wu, Liping Chang, Meiling Tao, Xiongxiong He

Neurocomputing, 2019

2018

Structural Insights into <i>N</i>⁶-methyladenosine (m⁶A) Modification in the Transcriptome.

Jinbo Huang, Ping Yin

Genom. Proteom. Bioinform., 2018

2017

Stochastic quantile-filling augmentation algorithm to censored and accurate reliability data.

Dejing Kong, Jinbo Huang, Narayanaswamy Balakrishnan, Lirong Cui

Comput. Ind. Eng., 2017

2016

Degradation Models With Wiener Diffusion Processes Under Calibrations.

Lirong Cui, Jinbo Huang, Yan Li

IEEE Trans. Reliab., 2016

2013

Decomposition and tractability in qualitative spatial and temporal reasoning.

Jinbo Huang, Jason Jingshi Li, Jochen Renz

Artif. Intell., 2013

2012

Search Strategy Simulation in Constraint Booleanization.

Jinbo Huang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning.

Jinbo Huang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Implementation of Critical Path Heuristics for SAT.

Jinbo Huang

Proceedings of the ECAI 2012, 2012

SAT vs. Search for Qualitative Temporal Reasoning.

Jinbo Huang

Proceedings of the ECAI 2012, 2012

2011

Sequential Diagnosis by Abstraction.

Sajjad Ahmed Siddiqi, Jinbo Huang

J. Artif. Intell. Res., 2011

2010

Extended clause learning.

Jinbo Huang

Artif. Intell., 2010

New Advances in Sequential Diagnosis.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Computing Cost-Optimal Definitely Discriminating Tests.

Anika Schumann, Jinbo Huang, Martin Sachenbacher

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.

Anika Schumann, Martin Sachenbacher, Jinbo Huang

Proceedings of Fifth Workshop on Model Based Testing, 2009

Variable and Value Ordering for MPE Search.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the IJCAI 2009, 2009

A Divide-and-Conquer Approach for Solving Interval Algebra Networks.

Jason Jingshi Li, Jinbo Huang, Jochen Renz

Proceedings of the IJCAI 2009, 2009

Constraint-Based Optimal Testing Using DNNF Graphs.

Anika Schumann, Martin Sachenbacher, Jinbo Huang

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Probabilistic Sequential Diagnosis by Compilation.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Universal Booleanization of Constraint Models.

Jinbo Huang

Proceedings of the Principles and Practice of Constraint Programming, 2008

A Scalable Jointree Algorithm for Diagnosability.

Anika Schumann, Jinbo Huang

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

The Language of Search.

Jinbo Huang, Adnan Darwiche

J. Artif. Intell. Res., 2007

Hierarchical Diagnosis of Multiple Faults.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the IJCAI 2007, 2007

Factored Planning Using Decomposition Trees.

Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux

Proceedings of the IJCAI 2007, 2007

The Effect of Restarts on the Efficiency of Clause Learning.

Jinbo Huang

Proceedings of the IJCAI 2007, 2007

A Case for Simple SAT Solvers.

Jinbo Huang

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.

Jinbo Huang

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.

Jinbo Huang, Mark Chavira, Adnan Darwiche

Proceedings of the Proceedings, 2006

2005

DPLL with a Trace: From SAT to Knowledge Compilation.

Jinbo Huang, Adnan Darwiche

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

MUP: a minimal unsatisfiability prover.

Jinbo Huang

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

On Compiling System Models for Faster and More Scalable Diagnosis.

Jinbo Huang, Adnan Darwiche

Proceedings of the Proceedings, 2005

2004

Using DPLL for Efficient OBDD Construction.

Jinbo Huang, Adnan Darwiche

Proceedings of the SAT 2004, 2004

Toward Good Elimination Orders for Symbolic SAT Solving.

Jinbo Huang, Adnan Darwiche

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

A Structure-Based Variable Ordering Heuristic for SAT.

Jinbo Huang, Adnan Darwiche

Proceedings of the IJCAI-03, 2003