Wang Lin

Publication Activity (10 Years)

Years Active: 2004-2025
Publications (10 Years): 44

Top Topics

Reinforcement Learning

Top Venues

Sci. China Inf. Sci.

Publications

Wang Lin
Simulation of street landscape design based on machine learning and entertainment design robots: An interactive entertainment design experience. Entertain. Comput. 52 (2025)
Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (6) (2024)
Wang Lin, Jingyuan Chen, Jiaxin Shi, Yichen Zhu, Chen Liang, Junzhong Miao, Tao Jin, Zhou Zhao, Fei Wu, Shuicheng Yan, Hanwang Zhang
Non-confusing Generation of Customized Concepts in Diffusion Models. CoRR (2024)
Yueying Feng, Fan Ma, Wang Lin, Chang Yao, Jingyuan Chen, Yi Yang
FedPAM: Federated Personalized Augmentation Model for Text-to-Image Retrieval. ICMR (2024)
Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. HSCC (2024)
Linjun Li, Tao Jin, Wang Lin, Hao Jiang, Wenwen Pan, Jian Wang, Shuwen Xiao, Yan Xia, Weihao Jiang, Zhou Zhao
Multi-Granularity Relational Attention Network for Audio-Visual Question Answering. IEEE Trans. Circuits Syst. Video Technol. 34 (8) (2024)
Tao Jin, Wang Lin, Ye Wang, Linjun Li, Xize Cheng, Zhou Zhao
Rethinking the Multimodal Correlation of Multimodal Sequential Learning via Generalizable Attentional Results Alignment. ACL (1) (2024)
Ye Wang, Jiahao Xun, Mingjie Hong, Jieming Zhu, Tao Jin, Wang Lin, Haoyuan Li, Linjun Li, Yan Xia, Zhou Zhao, Zhenhua Dong
EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration. CoRR (2024)
Ye Wang, Jiahao Xun, Minjie Hong, Jieming Zhu, Tao Jin, Wang Lin, Haoyuan Li, Linjun Li, Yan Xia, Zhou Zhao, Zhenhua Dong
EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration. KDD (2024)
Xize Cheng, Linjun Li, Tao Jin, Rongjie Huang, Wang Lin, Zehan Wang, Huangdai Liu, Ye Wang, Aoxiong Yin, Zhou Zhao
MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition. CoRR (2023)
Dongshuai Li, Wang Lin, Qiliang Wang, Xianyi Lv, Tong Zhang, Liuan Li
Trenched diamond PN junction diode with enhanced conductance modulation effect designed by simulation. Microelectron. J. 139 (2023)
Wang Lin, Tao Jin, Wenwen Pan, Linjun Li, Xize Cheng, Ye Wang, Zhou Zhao
TAVT: Towards Transferable Audio-Visual Text Generation. ACL (1) (2023)
Xize Cheng, Tao Jin, Linjun Li, Wang Lin, Xinyu Duan, Zhou Zhao
OpenSR: Open-Modality Speech Recognition via Maintaining Multi-Modality Alignment. CoRR (2023)
Ye Wang, Tao Jin, Wang Lin, Xize Cheng, Linjun Li, Zhou Zhao
Semantic-conditioned Dual Adaptation for Cross-domain Query-based Visual Segmentation. ACL (Findings) (2023)
Xize Cheng, Tao Jin, Rongjie Huang, Linjun Li, Wang Lin, Zehan Wang, Ye Wang, Huadai Liu, Aoxiong Yin, Zhou Zhao
MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition. ICCV (2023)
Xize Cheng, Tao Jin, Linjun Li, Wang Lin, Xinyu Duan, Zhou Zhao
OpenSR: Open-Modality Speech Recognition via Maintaining Multi-Modality Alignment. ACL (1) (2023)
Wang Lin, Tao Jin, Ye Wang, Wenwen Pan, Linjun Li, Xize Cheng, Zhou Zhao
Exploring Group Video Captioning with Efficient Relational Approximation. ICCV (2023)
Tao Jin, Xize Cheng, Linjun Li, Wang Lin, Ye Wang, Zhou Zhao
Rethinking Missing Modality Learning from a Decoding Perspective. ACM Multimedia (2023)
Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding
Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Inf. Softw. Technol. 163 (2023)
Linjun Li, Tao Jin, Xize Cheng, Ye Wang, Wang Lin, Rongjie Huang, Zhou Zhao
Contrastive Token-Wise Meta-Learning for Unseen Performer Visual Temporal-Aligned Translation. ACL (Findings) (2023)
Wang Lin, Pengfei Zhao, Liang He, Zhiyuan He, Qiliang Wang, Xianyi Lv, Liuan Li
Normally-off n-ZnO/p-diamond heterojunction field effect transistor with recessed gate and current distribution layer. Microelectron. J. 142 (2023)
Ye Wang, Wang Lin, Shengyu Zhang, Tao Jin, Linjun Li, Xize Cheng, Zhou Zhao
Weakly-Supervised Spoken Video Grounding via Semantic Interaction Learning. ACL (1) (2023)
Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) (2022)
Huihui Zhou, Wang Lin, Zuohua Ding
A Categorical Modelling Framework for Multi-robot Systems in Manufacturing. DSA (2022)
Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. ISSRE (2022)
Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. DSA (2022)
Wang Lin, Zhengfeng Yang, Zuohua Ding
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Syst. Sci. Complex. 35 (3) (2022)
Wang Lin, Qimeng Zhang, Youngbin Kim, Ruizheng Wu, Hongyu Jin, Haoke Deng, Pengchu Luo, Chang-Hun Kim
Automatic Chinese Meme Generation Using Deep Neural Networks. IEEE Access 9 (2021)
Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) (2021)
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) (2020)
Chang Liu, Wang Lin, Zhengfeng Yang
Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) (2020)
Ma Yu, Wang Lin
Knowledge Base and Research Hotspot of Psychological Capital Research in China: VOSviewer Bibliometric Analysis based on CSSCI Journals. EBIMCS (2020)
Wang Lin
Literature Review On "Spatial Distribution of Smart Specialisation". EBIMCS (2020)
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR (2019)
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60 (3) (2017)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60 (5) (2017)
Wang Lin
Exploring the Convergence of the Mobile Learning Mode in Network Environment and the Traditional Classroom Teaching Mode. iJET 12 (7) (2017)
Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM (2016)
Wang Lin, Hongxian Tian
基于SIP协议的嵌入式VoIP语音终端实现和协议分析 (Implementation and Protocol Analysis of Embedded VoIP Voice Terminal Based on SIP). 计算机科学 43 (6) (2016)
Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT (2016)
Zhengfeng Yang, Wang Lin, Min Wu
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Yu Guo, Yuanming Feng, Jian Sun, Ning Zhang, Wang Lin, Yu Sa, Ping Wang
Automatic Lung Tumor Segmentation on PET/CT Images Using Fuzzy Markov Random Field Model. Comput. Math. Methods Medicine 2014 (2014)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. 19 (9) (2014)
Wang Lin, Yuanyuan Nie, Huiqin Li
Research on Hotel Service Design from perspective of customer. WHICEB (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. 8 (2) (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Safety verification of nonlinear systems based on rational invariants. SNC (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. 57 (5) (2014)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation CoRR (2013)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems CoRR (2013)
Jun Zhang, Wang Lin, Kenneth M. Jacobs, Xin-Hua Hu
Extraction of microsphere size from diffraction images with an STFT method. VECIMS (2012)
Xiaoyun Chen, Weizi Liang, Chunmei Yang, Wang Lin, Minghai Bi
Simultaneous quantitative detection of tetracyclines derivatives by raman spectroscopy. VECIMS (2012)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR (2012)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR (2011)
Wang Lin, Yezhi Lin, Longchang Li
Computer Simulation of the Pattern Formation of a Spatial Ecosystem. ICNC (5) (2009)
Wang Lin, Zhongyue Li
Computer Aided Analysis of Bifurcation of a Spatial Dynamical System. ISCSCT (2) (2008)
Wang Lin, Guanzhong Dai
Research on the Connectivity Coefficients of Internet Topology. ICWI (2004)