2024
A lightweight and continuous dimensional emotion analysis system of facial expression recognition under complex background.
J. Vis. Commun. Image Represent., 2024
Generative Software Engineering.
CoRR, 2024
2023
Magnetic Anomaly Detection Based on a Compound Tri-Stable Stochastic Resonance System.
Sensors, November, 2023
BCGen: a comment generation method for bytecode.
Autom. Softw. Eng., 2023
2022
Single-Stage Adaptive Multi-Scale Point Cloud Noise Filtering Algorithm Based on Feature Information.
Remote. Sens., 2022
Correction to: Classification of thermal image of clinical burn based on incremental reinforcement learning.
Neural Comput. Appl., 2022
Classification of thermal image of clinical burn based on incremental reinforcement learning.
Neural Comput. Appl., 2022
Nonparametric mean-lower partial moment model and enhanced index investment.
Comput. Oper. Res., 2022
2021
Internet of things in health management systems: A review.
Int. J. Commun. Syst., 2021
2019
Resilient consensus with switching networks and heterogeneous agents.
Neurocomputing, 2019
2018
Structural Insights into <i>N</i><sup>6</sup>-methyladenosine (m<sup>6</sup>A) Modification in the Transcriptome.
Genom. Proteom. Bioinform., 2018
2017
Stochastic quantile-filling augmentation algorithm to censored and accurate reliability data.
Comput. Ind. Eng., 2017
2016
Degradation Models With Wiener Diffusion Processes Under Calibrations.
IEEE Trans. Reliab., 2016
2013
Decomposition and tractability in qualitative spatial and temporal reasoning.
Artif. Intell., 2013
2012
Search Strategy Simulation in Constraint Booleanization.
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.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Implementation of Critical Path Heuristics for SAT.
Proceedings of the ECAI 2012, 2012
SAT vs. Search for Qualitative Temporal Reasoning.
Proceedings of the ECAI 2012, 2012
2011
Sequential Diagnosis by Abstraction.
J. Artif. Intell. Res., 2011
2010
Extended clause learning.
Artif. Intell., 2010
New Advances in Sequential Diagnosis.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Computing Cost-Optimal Definitely Discriminating Tests.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.
Proceedings of Fifth Workshop on Model Based Testing, 2009
Variable and Value Ordering for MPE Search.
Proceedings of the IJCAI 2009, 2009
A Divide-and-Conquer Approach for Solving Interval Algebra Networks.
Proceedings of the IJCAI 2009, 2009
Constraint-Based Optimal Testing Using DNNF Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Probabilistic Sequential Diagnosis by Compilation.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Universal Booleanization of Constraint Models.
Proceedings of the Principles and Practice of Constraint Programming, 2008
A Scalable Jointree Algorithm for Diagnosability.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
J. Artif. Intell. Res., 2007
Hierarchical Diagnosis of Multiple Faults.
Proceedings of the IJCAI 2007, 2007
Factored Planning Using Decomposition Trees.
Proceedings of the IJCAI 2007, 2007
The Effect of Restarts on the Efficiency of Clause Learning.
Proceedings of the IJCAI 2007, 2007
A Case for Simple SAT Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
Proceedings of the Proceedings, 2006
2005
DPLL with a Trace: From SAT to Knowledge Compilation.
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.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
On Compiling System Models for Faster and More Scalable Diagnosis.
Proceedings of the Proceedings, 2005
2004
Using DPLL for Efficient OBDD Construction.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Toward Good Elimination Orders for Symbolic SAT Solving.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
2003
A Structure-Based Variable Ordering Heuristic for SAT.
Proceedings of the IJCAI-03, 2003