Wang Lin

Proceedings of the Learning and Collaboration Technologies, 2025

Towards Transformer-Based Aligned Generation with Self-Coherence Guidance.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Generative Multimodal Pretraining with Discrete Diffusion Timestep Tokens.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Non-Natural Image Understanding with Advancing Frequency-based Vision Encoders.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Embracing Imperfection: Simulating Students with Diverse Cognitive Levels Using LLM-based Agents.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.

[BibT_eX]

[DOI]

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

Bridging the Gap for Test-Time Multimodal Sentiment Analysis.

[BibT_eX]

[DOI]

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Multi-Granularity Relational Attention Network for Audio-Visual Question Answering.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., August, 2024

Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2024

Iris: Breaking GUI Complexity with Adaptive Focus and Self-Refining.

[BibT_eX]

[DOI]

CoRR, 2024

EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration.

[BibT_eX]

[DOI]

CoRR, 2024

Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

Extending Multi-modal Contrastive Representations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

E<sup>3</sup>: Exploring Embodied Emotion Through A Large-Scale Egocentric Video Dataset.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Action Imitation in Common Action Space for Customized Action Image Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Low-rank Prompt Interaction for Continual Vision-Language Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Semantic Alignment for Multimodal Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

FedPAM: Federated Personalized Augmentation Model for Text-to-Image Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 2024 International Conference on Multimedia Retrieval, 2024

EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

Non-confusing Generation of Customized Concepts in Diffusion Models.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Instruction Tuning-Free Visual Token Complement for Multimodal LLMs.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2024, 2024

Rethinking the Multimodal Correlation of Multimodal Sequential Learning via Generalizable Attentional Results Alignment.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

Normally-off n-ZnO/p-diamond heterojunction field effect transistor with recessed gate and current distribution layer.

[BibT_eX]

[DOI]

Microelectron. J., December, 2023

Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

[BibT_eX]

[DOI]

Inf. Softw. Technol., November, 2023

Trenched diamond PN junction diode with enhanced conductance modulation effect designed by simulation.

[BibT_eX]

[DOI]

Microelectron. J., September, 2023

MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition.

[BibT_eX]

[DOI]

CoRR, 2023

Rethinking Missing Modality Learning from a Decoding Perspective.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Exploring Group Video Captioning with Efficient Relational Approximation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Weakly-Supervised Spoken Video Grounding via Semantic Interaction Learning.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Semantic-conditioned Dual Adaptation for Cross-domain Query-based Visual Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

TAVT: Towards Transferable Audio-Visual Text Generation.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Contrastive Token-Wise Meta-Learning for Unseen Performer Visual Temporal-Aligned Translation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

OpenSR: Open-Modality Speech Recognition via Maintaining Multi-Modality Alignment.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming.

[BibT_eX]

[DOI]

Zuohua Ding

J. Syst. Sci. Complex., 2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

A Categorical Modelling Framework for Multi-robot Systems in Manufacturing.

[BibT_eX]

[DOI]

Huihui Zhou

Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Automatic Chinese Meme Generation Using Deep Neural Networks.

[BibT_eX]

[DOI]

IEEE Access, 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Generating Adversarial Texts for Recurrent Neural Networks.

[BibT_eX]

[DOI]

Chang Liu

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Knowledge Base and Research Hotspot of Psychological Capital Research in China: VOSviewer Bibliometric Analysis based on CSSCI Journals.

[BibT_eX]

[DOI]

Ma Yu

Proceedings of the EBIMCS 2020: 3rd International Conference on E-Business, 2020

Literature Review On "Spatial Distribution of Smart Specialisation".

[BibT_eX]

[DOI]

Proceedings of the EBIMCS 2020: 3rd International Conference on E-Business, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Exploring the Convergence of the Mobile Learning Mode in Network Environment and the Traditional Classroom Teaching Mode.

[BibT_eX]

[DOI]

Int. J. Emerg. Technol. Learn., 2017

Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

[BibT_eX]

[DOI]

Comput. J., 2017

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

2016

基于SIP协议的嵌入式VoIP语音终端实现和协议分析 (Implementation and Protocol Analysis of Embedded VoIP Voice Terminal Based on SIP).

[BibT_eX]

[DOI]

Hongxian Tian

计算机科学, 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2015

2014

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2014

Domain-of-attraction estimation for uncertain non-polynomial systems.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2014

Automatic Lung Tumor Segmentation on PET/CT Images Using Fuzzy Markov Random Field Model.

[BibT_eX]

[DOI]

Comput. Math. Methods Medicine, 2014

Exact safety verification of hybrid systems using sums-of-squares representation.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Research on Hotel Service Design from perspective of customer.

[BibT_eX]

[DOI]

Yuanyuan Nie

Huiqin Li

Proceedings of the Thirteenth Wuhan International Conference on E-Business, 2014

Safety verification of nonlinear systems based on rational invariants.

[BibT_eX]

[DOI]

Proceedings of the Symbolic-Numeric Computation 2014, 2014

2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

[BibT_eX]

[DOI]

CoRR, 2013

2012

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

[BibT_eX]

[DOI]

CoRR, 2012

Extraction of microsphere size from diffraction images with an STFT method.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems, 2012

Simultaneous quantitative detection of tetracyclines derivatives by raman spectroscopy.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems, 2012

2009

Computer Simulation of the Pattern Formation of a Spatial Ecosystem.

[BibT_eX]

[DOI]

Yezhi Lin

Longchang Li

Proceedings of the Fifth International Conference on Natural Computation, 2009

2008

Computer Aided Analysis of Bifurcation of a Spatial Dynamical System.

[BibT_eX]

[DOI]

Zhongyue Li

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

2004

Research on the Connectivity Coefficients of Internet Topology.

[BibT_eX]