default search action
Wang Lin
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j19]Wang Lin:
Simulation of street landscape design based on machine learning and entertainment design robots: An interactive entertainment design experience. Entertain. Comput. 52: 100845 (2025) - 2024
- [j18]Mingze Ma
, Jian Hou
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(6): 1704-1714 (2024) - [j17]Linjun Li
Multi-Granularity Relational Attention Network for Audio-Visual Question Answering. IEEE Trans. Circuits Syst. Video Technol. 34(8): 7080-7094 (2024) - [c37]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: 5247-5265 - [c36]Dongsheng Wang
Instruction Tuning-Free Visual Token Complement for Multimodal LLMs. ECCV (81) 2024: 446-462 - [c35]Chaomin Jin
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. HSCC 2024: 13:1-13:10 - [c34]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. ICML 2024 - [c33]Ye Wang
EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration. KDD 2024: 3245-3254 - [c32]Yueying Feng
FedPAM: Federated Personalized Augmentation Model for Text-to-Image Retrieval. ICMR 2024: 1185-1189 - [c31]Tao Wu
Semantic Alignment for Multimodal Large Language Models. ACM Multimedia 2024: 3489-3498 - [c30]Weicai Yan
Low-rank Prompt Interaction for Continual Vision-Language Retrieval. ACM Multimedia 2024: 8257-8266 - [i11]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 abs/2405.06914 (2024) - [i10]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 abs/2406.14017 (2024) - [i9]Dongsheng Wang, Jiequan Cui, Miaoge Li, Wang Lin, Bo Chen, Hanwang Zhang:
Instruction Tuning-free Visual Token Complement for Multimodal LLMs. CoRR abs/2408.05019 (2024) - [i8]Tao Wu, Mengze Li, Jingyuan Chen, Wei Ji, Wang Lin, Jinyang Gao, Kun Kuang, Zhou Zhao, Fei Wu:
Semantic Alignment for Multimodal Large Language Models. CoRR abs/2408.12867 (2024) - [i7]Zihan Huang, Tao Wu, Wang Lin, Shengyu Zhang, Jingyuan Chen, Fei Wu:
AutoGeo: Automating Geometric Image Dataset Creation for Enhanced Geometry Understanding. CoRR abs/2409.09039 (2024) - 2023
- [j16]Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding:
Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Inf. Softw. Technol. 163: 107298 (2023) - [j15]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: 105903 (2023) - [j14]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: 105994 (2023) - [c29]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: 6592-6607 - [c28]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: 9797-9815 - [c27]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: 10914-10932 - [c26]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: 10993-11007 - [c25]Wang Lin, Tao Jin, Wenwen Pan, Linjun Li, Xize Cheng, Ye Wang, Zhou Zhao:
TAVT: Towards Transferable Audio-Visual Text Generation. ACL (1) 2023: 14983-14999 - [c24]Wang Lin, Tao Jin, Ye Wang, Wenwen Pan, Linjun Li, Xize Cheng, Zhou Zhao:
Exploring Group Video Captioning with Efficient Relational Approximation. ICCV 2023: 15235-15244 - [c23]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: 15689-15699 - [c22]Tao Jin
Rethinking Missing Modality Learning from a Decoding Perspective. ACM Multimedia 2023: 4431-4439 - [i6]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 abs/2303.05309 (2023) - [i5]Xize Cheng, Tao Jin, Linjun Li, Wang Lin, Xinyu Duan, Zhou Zhao:
OpenSR: Open-Modality Speech Recognition via Maintaining Multi-Modality Alignment. CoRR abs/2306.06410 (2023) - 2022
- [j13]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): 1154-1172 (2022) - [c21]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: 571-586 - [c20]Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding:
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. DSA 2022: 116-125 - [c19]Huihui Zhou, Wang Lin, Zuohua Ding:
A Categorical Modelling Framework for Multi-robot Systems in Manufacturing. DSA 2022: 1071-1072 - [c18]Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding:
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. ISSRE 2022: 263-273 - 2021
- [j12]Wang Lin
Automatic Chinese Meme Generation Using Deep Neural Networks. IEEE Access 9: 152657-152667 (2021) - [c17]Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) 2021: 467-490 - [c16]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: 631-636 - [c15]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: 17:1-17:11 - 2020
- [c14]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: 582-603 - [c13]Wang Lin:
Literature Review On "Spatial Distribution of Smart Specialisation". EBIMCS 2020: 188-195 - [c12]Ma Yu, Wang Lin:
Knowledge Base and Research Hotspot of Psychological Capital Research in China: VOSviewer Bibliometric Analysis based on CSSCI Journals. EBIMCS 2020: 253-260 - [c11]Chang Liu
Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) 2020: 39-51
2010 – 2019
- 2019
- [c10]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: 11418-11427 - 2018
- [j11]Yifan Zhang
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2768-2778 (2018) - 2017
- [j10]Xia Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60(3): 39102 (2017) - [j9]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60(5): 675-689 (2017) - [j8]Wang Lin:
Exploring the Convergence of the Mobile Learning Mode in Network Environment and the Traditional Classroom Teaching Mode. Int. J. Emerg. Technol. Learn. 12(7): 170-181 (2017) - [j7]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): 186:1-186:19 (2017) - 2016
- [j6]Wang Lin, Hongxian Tian:
基于SIP协议的嵌入式VoIP语音终端实现和协议分析 (Implementation and Protocol Analysis of Embedded VoIP Voice Terminal Based on SIP). 计算机科学 43(6): 86-90 (2016) - [c9]Xia Zeng
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT 2016: 11:1-11:10 - [c8]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: 721-738 - 2015
- [j5]Zhengfeng Yang, Wang Lin, Min Wu:
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. 14(1): 16:1-16:19 (2015) - 2014
- [j4]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): 1-13 (2014) - [j3]Yu Guo
Automatic Lung Tumor Segmentation on PET/CT Images Using Fuzzy Markov Random Field Model. Comput. Math. Methods Medicine 2014: 401201:1-401201:6 (2014) - [j2]Min Wu, Zhengfeng Yang, Wang Lin:
Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. 19(9): 3044-3052 (2014) - [j1]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): 192-202 (2014) - [c7]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Safety verification of nonlinear systems based on rational invariants. SNC 2014: 107-108 - [c6]Wang Lin, Yuanyuan Nie, Huiqin Li:
Research on Hotel Service Design from perspective of customer. WHICEB 2014: 79 - 2013
- [i4]Zhengfeng Yang, Min Wu, Wang Lin:
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. CoRR abs/1302.5974 (2013) - [i3]Min Wu, Zhengfeng Yang, Wang Lin:
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems. CoRR abs/1303.0452 (2013) - 2012
- [c5]Xiaoyun Chen, Weizi Liang, Chunmei Yang, Wang Lin, Minghai Bi:
Simultaneous quantitative detection of tetracyclines derivatives by raman spectroscopy. VECIMS 2012: 111-114 - [c4]Jun Zhang, Wang Lin, Kenneth M. Jacobs, Xin-Hua Hu
Extraction of microsphere size from diffraction images with an STFT method. VECIMS 2012: 213-216 - [i2]Zhengfeng Yang, Min Wu, Wang Lin:
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation. CoRR abs/1201.4219 (2012) - 2011
- [i1]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation. CoRR abs/1112.2328 (2011)
2000 – 2009
- 2009
- [c3]Wang Lin, Yezhi Lin, Longchang Li:
Computer Simulation of the Pattern Formation of a Spatial Ecosystem. ICNC (5) 2009: 464-467 - 2008
- [c2]Wang Lin, Zhongyue Li:
Computer Aided Analysis of Bifurcation of a Spatial Dynamical System. ISCSCT (2) 2008: 8-10 - 2004
- [c1]Wang Lin, Guanzhong Dai:
Research on the Connectivity Coefficients of Internet Topology. ICWI 2004: 573-579
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: