Yong Lai

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 20

Top Topics

Knowledge Compilation

Decision Diagrams

Boolean Formula

Top Venues

Sci. China Inf. Sci.

Publications

Nan Ding, Yong Lai, Jie Liu
Knowledge Enhanced Zero-Shot Visual Relationship Detection. KSEM (3) (2024)
Yong Lai, Haiyong Xu, Chi Lin, Ting Luo, Lihong Wang
A two-stage and two-branch generative adversarial network-based underwater image enhancement. Vis. Comput. 39 (9) (2023)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. AAAI (2023)
Yirui Wu, Qiran Kong, Yong Lai, Fabio Narducci, Shaohua Wan
CDText: Scene text detector based on context-aware deformable transformer. Pattern Recognit. Lett. 172 (2023)
Yong Lai, Zhenghang Xu, Minghao Yin
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas. CoRR (2023)
Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Yong Lai
Variants of Tagged Sentential Decision Diagrams. CoRR (2023)
Shaohua Han, Xinqiang Wan, Yong Lai, Lei Ge, Jinian Pang
DC Bias Diagnosis of Power Transformer with Soundprint Features. ICCSIE (2022)
Hao Li, Yirui Wu, Hexuan Hu, Hu Lu, Yong Lai, Shaohua Wan
Learning Group-Disentangled Representation for Interpretable Thoracic Pathologic Prediction. BIBM (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. CoRR (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR (2022)
Xinqiang Wan, Shaohua Han, Yong Lai, Lei Ge, Jinian Pang, Yang Liu
Signal Pretreatment Methodology Used for Transformer Noise Analysis. ICCSIE (2022)
Xinqiang Wan, Shaohua Han, Yong Lai, Lei Ge, Jinian Pang, Yang Liu
Soundprint Feature Statistical Analysis of Power Transformers. ICCSIE (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
The Power of Literal Equivalence in Model Counting. AAAI (2021)
Yuanyuan Yang, Yong Lai
Research on Business Model Innovation of Online Education. ICISCAE (ACM) (2021)
Qijun Liu, Arslan Riaz, Timur Zirtiloglu, Maria Eugenia Inda, Miguel Jimenez, Yong Lai, Christoph Steiger, Elizabeth Diamond, Giovanni Traverso, Timothy K. Lu, Anantha P. Chandrakasan, Phillip M. Nadeau, Rabia Tugce Yazicigil
Zero-Crossing-Based Bio-Engineered Sensor. CICC (2021)
Lushen Pang, Guoqing Li, Xiaochuang Yao, Yong Lai
An Incentive Mechanism Based on a Bayesian Game for Spatial Crowdsourcing. IEEE Access 7 (2019)
Yong Lai
Approximate Model Counting by Partial Knowledge Compilation. CoRR (2018)
Yong Lai, Dayou Liu, Minghao Yin
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). IJCAI (2017)
Yong Lai, Dayou Liu, Minghao Yin
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition. J. Artif. Intell. Res. 58 (2017)
Dayou Liu, Bo Yang, Shang Gao, Yungang Zhu, Yong Lai
Intelligent CPSS and its application to health care computing. Sci. China Inf. Sci. 59 (5) (2016)
Yong Lai, Dayou Liu, Minghao Yin
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition. CoRR (2014)
Yong Lai, Dayou Liu, Sheng-sheng Wang
Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach. Knowl. Inf. Syst. 35 (3) (2013)
Yong Lai, Dayou Liu, Sheng-sheng Wang
Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach CoRR (2011)