Jinbo Huang - RankMe

46 papers A* 15A 6B 1Misc 1Journal 20Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Towards Improving the Performance of Comment Generation Models by Using Bytecode Information. IEEE Trans. Software Eng. Yuan Huang, Jinbo Huang, Xiangping Chen, Zibin Zheng
2024	J	`jnl`	A lightweight and continuous dimensional emotion analysis system of facial expression recognition under complex background. J. Vis. Commun. Image Represent. Xiaoyu Tang, Jiewen Feng, Jinbo Huang, Qiuchi Xiang, Bohuan Xue
2024	J	`jnl`	Generative Software Engineering. CoRR Yuan Huang, Yinan Chen, Xiangping Chen, Junqi Chen, Rui Peng, Zhicao Tang, Jinbo Huang, Furen Xu, Zibin Zheng
2023	J	`jnl`	BCGen: a comment generation method for bytecode. Autom. Softw. Eng. Yuan Huang, Jinbo Huang, Xiangping Chen, Kunning He, Xiaocong Zhou
2023	J	`jnl`	Magnetic Anomaly Detection Based on a Compound Tri-Stable Stochastic Resonance System. Sensors Jinbo Huang, Zhen Zheng, Yu Zhou, Yuran Tan, Chengjun Wang, Guangbo Xu, Bingting Zha
2022	J	`jnl`	Classification of thermal image of clinical burn based on incremental reinforcement learning. Neural Comput. Appl. Xianjun Wu, Wendong Huang, Xiaoli Wu, Shenghang Wu, Jinbo Huang
2022	J	`jnl`	Correction to: Classification of thermal image of clinical burn based on incremental reinforcement learning. Neural Comput. Appl. Xianjun Wu, Wendong Huang, Xiaoli Wu, Shenghang Wu, Jinbo Huang
2022	J	`jnl`	Nonparametric mean-lower partial moment model and enhanced index investment. Comput. Oper. Res. Jinbo Huang, Yong Li, Haixiang Yao
2022	J	`jnl`	Single-Stage Adaptive Multi-Scale Point Cloud Noise Filtering Algorithm Based on Feature Information. Remote. Sens. Zhen Zheng, Bingting Zha, Yu Zhou, Jinbo Huang, Youshi Xuchen, He Zhang
2021	J	`jnl`	Internet of things in health management systems: A review. Int. J. Commun. Syst. Jinbo Huang, Xianjun Wu, Wendong Huang, Xiaoli Wu, S. Wang
2019	J	`jnl`	Resilient consensus with switching networks and heterogeneous agents. Neurocomputing Jinbo Huang, Yiming Wu, Liping Chang, Meiling Tao, Xiongxiong He
2018	J	`jnl`	Structural Insights into Genom. Proteom. Bioinform. Jinbo Huang, Ping Yin
2017	J	`jnl`	Stochastic quantile-filling augmentation algorithm to censored and accurate reliability data. Comput. Ind. Eng. Dejing Kong, Jinbo Huang, Narayanaswamy Balakrishnan, Lirong Cui
2016	J	`jnl`	Degradation Models With Wiener Diffusion Processes Under Calibrations. IEEE Trans. Reliab. Lirong Cui, Jinbo Huang, Yan Li
2014	J	`jnl`	Sequential Diagnosis by Abstraction. CoRR Sajjad Ahmed Siddiqi, Jinbo Huang
2013	J	`jnl`	Decomposition and tractability in qualitative spatial and temporal reasoning. Artif. Intell. Jinbo Huang, Jason Jingshi Li, Jochen Renz
2012	A*	`conf`	Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. KR Jinbo Huang
2012	A	`conf`	Implementation of Critical Path Heuristics for SAT. ECAI Jinbo Huang
2012	A	`conf`	SAT vs. Search for Qualitative Temporal Reasoning. ECAI Jinbo Huang
2012	A*	`conf`	Search Strategy Simulation in Constraint Booleanization. KR Jinbo Huang
2011	J	`jnl`	Sequential Diagnosis by Abstraction. J. Artif. Intell. Res. Sajjad Ahmed Siddiqi, Jinbo Huang
2011	J	`jnl`	The Language of Search CoRR Adnan Darwiche, Jinbo Huang
2010	A*	`conf`	Computing Cost-Optimal Definitely Discriminating Tests. AAAI Anika Schumann, Jinbo Huang, Martin Sachenbacher
2010	J	`jnl`	Extended clause learning. Artif. Intell. Jinbo Huang
2010	A*	`conf`	New Advances in Sequential Diagnosis. KR Sajjad Ahmed Siddiqi, Jinbo Huang
2009	A*	`conf`	A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI Jason Jingshi Li, Jinbo Huang, Jochen Renz
2009	—	`conf`	Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. MBT@ETAPS Anika Schumann, Martin Sachenbacher, Jinbo Huang
2009	A	`conf`	Constraint-Based Optimal Testing Using DNNF Graphs. CP Anika Schumann, Martin Sachenbacher, Jinbo Huang
2009	A*	`conf`	Variable and Value Ordering for MPE Search. IJCAI Sajjad Ahmed Siddiqi, Jinbo Huang
2008	A*	`conf`	A Scalable Jointree Algorithm for Diagnosability. AAAI Anika Schumann, Jinbo Huang
2008	Misc	`conf`	Probabilistic Sequential Diagnosis by Compilation. ISAIM Sajjad Ahmed Siddiqi, Jinbo Huang
2008	A	`conf`	Universal Booleanization of Constraint Models. CP Jinbo Huang
2007	A	`conf`	A Case for Simple SAT Solvers. CP Jinbo Huang
2007	A*	`conf`	Factored Planning Using Decomposition Trees. IJCAI Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux
2007	A*	`conf`	Hierarchical Diagnosis of Multiple Faults. IJCAI Sajjad Ahmed Siddiqi, Jinbo Huang
2007	A*	`conf`	The Effect of Restarts on the Efficiency of Clause Learning. IJCAI Jinbo Huang
2007	J	`jnl`	The Language of Search. J. Artif. Intell. Res. Jinbo Huang, Adnan Darwiche
2006	A*	`conf`	Combining Knowledge Compilation and Search for Conformant Probabilistic Planning. ICAPS Jinbo Huang
2006	A*	`conf`	Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI Jinbo Huang, Mark Chavira, Adnan Darwiche
2005	A*	`conf`	DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI Jinbo Huang, Adnan Darwiche
2005	—	`conf`	MUP: a minimal unsatisfiability prover. ASP-DAC Jinbo Huang
2005	A*	`conf`	On Compiling System Models for Faster and More Scalable Diagnosis. AAAI Jinbo Huang, Adnan Darwiche
2004	B	`conf`	Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI Jinbo Huang, Adnan Darwiche
2004	A	`conf`	Using DPLL for Efficient OBDD Construction. SAT Jinbo Huang, Adnan Darwiche
2004	—	`conf`	Using DPLL for Efficient OBDD Construction. SAT (Selected Papers Jinbo Huang, Adnan Darwiche
2003	A*	`conf`	A Structure-Based Variable Ordering Heuristic for SAT. IJCAI Jinbo Huang, Adnan Darwiche