Yong Lai

Zhenghang Xu

Frontiers Comput. Sci., March, 2025

2024

Edge Computing and Few-Shot Learning Featured Intelligent Framework in Digital Twin Empowered Mobile Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., December, 2024

Combining bounded solving and controllable randomization for approximate model counting.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., October, 2024

Knowledge Enhanced Zero-Shot Visual Relationship Detection.

[BibT_eX]

[DOI]

Nan Ding

Jie Liu

Proceedings of the Knowledge Science, Engineering and Management, 2024

A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

A two-stage and two-branch generative adversarial network-based underwater image enhancement.

[BibT_eX]

[DOI]

Vis. Comput., September, 2023

CDText: Scene text detector based on context-aware deformable transformer.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., August, 2023

Variants of Tagged Sentential Decision Diagrams.

[BibT_eX]

[DOI]

CoRR, 2023

Fast Converging Anytime Model Counting.

[BibT_eX]

[DOI]

Kuldeep S. Meel

Roland H. C. Yap

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

CCDD: A Tractable Representation for Model Counting and Uniform Sampling.

[BibT_eX]

[DOI]

Kuldeep S. Meel

Roland H. C. Yap

CoRR, 2022

Signal Pretreatment Methodology Used for Transformer Noise Analysis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

Soundprint Feature Statistical Analysis of Power Transformers.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

DC Bias Diagnosis of Power Transformer with Soundprint Features.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

2021

Research on Business Model Innovation of Online Education.

[BibT_eX]

[DOI]

Yuanyuan Yang

Proceedings of the ICISCAE 2021: 4th International Conference on Information Systems and Computer Aided Education, Dalian, China, September 24, 2021

Zero-Crossing-Based Bio-Engineered Sensor.

[BibT_eX]

[DOI]

Anantha P. Chandrakasan

Phillip M. Nadeau

Rabia Tugce Yazicigil

Proceedings of the IEEE Custom Integrated Circuits Conference, 2021

The Power of Literal Equivalence in Model Counting.

[BibT_eX]

[DOI]

Kuldeep S. Meel

Roland H. C. Yap

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

An Incentive Mechanism Based on a Bayesian Game for Spatial Crowdsourcing.

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

Approximate Model Counting by Partial Knowledge Compilation.

[BibT_eX]

[DOI]

CoRR, 2018

2017

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Intelligent CPSS and its application to health care computing.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

2014

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach.

[BibT_eX]

[DOI]