Xiang Yin
- Make-An-Audio: Text-To-Audio Generation with Prompt-Enhanced Diffusion Models
2023/01/30 by Rongjie Huang, Huang, Rongjie, Jiawei Huang +17 · 39 citations
Computer Science · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Multimedia (cs.MM) #Music Technology and Sound Studies #Music and Audio Processing #Sound (cs.SD) #electronic engineering #information engineering
- Make-An-Audio 2: Temporal-Enhanced Text-to-Audio Generation
2023/05/29 by Jiawei Huang, Yi Ren, Huang, Jiawei +17 · 20 citations
Computer Science · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Multimedia (cs.MM) #Music Technology and Sound Studies #Music and Audio Processing #Sound (cs.SD) #Speech Recognition and Synthesis #electronic engineering #information engineering
- GeneFace++: Generalized and Stable Real-Time Audio-Driven 3D Talking Face Generation
2023/05/01 by Zhenhui Ye, Jinzheng He, Ye, Zhenhui +17 · 8 citations
Computer Science · #Face recognition and analysis #Generative Adversarial Networks and Image Synthesis #Speech and Audio Processing
- MegaTTS 3: Sparse Alignment Enhanced Latent Diffusion Transformer for Zero-Shot Speech Synthesis
2025/02/26 by Ziyue Karen Jiang, Yi Ren, Jiang, Ziyue +24 · 20 citations
Computer Science · Medicine · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Face recognition and analysis #Machine Learning (cs.LG) #Sound (cs.SD) #Speech Recognition and Synthesis #Voice and Speech Disorders #electronic engineering #information engineering
- Mega-TTS 2: Boosting Prompting Mechanisms for Zero-Shot Speech Synthesis
2023/07/14 by Ziyue Karen Jiang, Jiang, Ziyue, Jinglin Liu +21 · 8 citations
Computer Science · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Music and Audio Processing #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #electronic engineering #information engineering
- Mega-TTS: Zero-Shot Text-to-Speech at Scale with Intrinsic Inductive Bias
2023/06/06 by Ziyue Karen Jiang, Jiang, Ziyue, Yi Ren +21 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Music and Audio Processing #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #electronic engineering #information engineering
- HumanDiT: Pose-Guided Diffusion Transformer for Long-form Human Motion Video Generation
2025/02/07 by Qijun Gan, Gan, Qijun, Yi Ren +15 · 12 citations
Computer Science · Engineering · #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human Motion and Animation #Human Pose and Action Recognition
- Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
2023/12/07 by Xinyi Yu, Yiqi Zhao, Yu, Xinyi +5 · 6 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Electrical engineering #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Systems and Control (eess.SY) #electronic engineering #information engineering
- Generative Expressive Conversational Speech Synthesis
2024/07/31 by Rui Liu, Yifan Hu, Liu, Rui +7 · 8 citations
Computer Science · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #Sound (cs.SD) #Speech and dialogue systems #electronic engineering #information engineering
- Secure-by-Construction Synthesis of Cyber-Physical Systems
2022/02/14 by Siyuan Liu, Liu, Siyuan, Ashutosh Trivedi +5 · 4 citations
Computer Science · #Security and Verification in Computing #Physical Unclonable Functions (PUFs) and Hardware Security #Formal Methods in Verification
- CLAPSpeech: Learning Prosody from Text Context with Contrastive Language-Audio Pre-training
2023/05/18 by Zhenhui Ye, Rongjie Huang, Ye, Zhenhui +13 · 4 citations
Computer Science · Psychology · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Phonetics and Phonology Research #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and dialogue systems #electronic engineering #information engineering
- Emotion Rendering for Conversational Speech Synthesis with Heterogeneous Graph-Based Context Modeling
2023/12/19 by Rui Liu, Liu, Rui, Yifan Hu +7 · 5 citations
Computer Science · Psychology · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #Emotion and Mood Recognition #FOS: Computer and information sciences #FOS: Electrical engineering #Sentiment Analysis and Opinion Mining #Sound (cs.SD) #Speech Recognition and Synthesis #electronic engineering #information engineering
- Unsupervised Video Domain Adaptation for Action Recognition: A Disentanglement Perspective
2022/08/15 by Pengfei Wei, Lingdong Kong, Wei, Pengfei +10 · 2 citations
Computer Science · #Anomaly Detection Techniques and Applications #Human Pose and Action Recognition #Domain Adaptation and Few-Shot Learning
- Ada-TTA: Towards Adaptive High-Quality Text-to-Talking Avatar Synthesis
2023/06/06 by Zhenhui Ye, Ye, Zhenhui, Ziyue Karen Jiang +13 · 2 citations
Computer Science · #Face recognition and analysis #Generative Adversarial Networks and Image Synthesis #Speech and Audio Processing
- Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems
2017/10/08 by Tomáš Masopust, Masopust, Tomáš, Xiang Yin +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Opacity of nondeterministic transition systems: A (bi)simulation relation approach
2018/02/09 by Kuize Zhang, Zhang, Kuize, Xiang Yin +3 · 2 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Optimization and Control (math.OC) #Simulation Techniques and Applications
- On Approximate Opacity of Cyber-Physical Systems
2019/02/25 by Xiang Yin, Yin, Xiang, Majid Zamani +1 · 1 citation
Computer Science · Decision Sciences · #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- PPG-based singing voice conversion with adversarial representation learning
2020/10/28 by Zhonghao Li, Li, Zhonghao, Benlai Tang +11 · 1 citation
Computer Science · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #Music and Audio Processing #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #electronic engineering #information engineering
- Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks
2021/06/20 by Nan Li, Li, Nan, Kaixiang Zhang +7 · 1 citation
Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Cross-speaker Emotion Transfer Based on Speaker Condition Layer Normalization and Semi-Supervised Training in Text-To-Speech
2021/10/08 by Pengfei Wu, Wu, Pengfei, Junjie Pan +11 · 1 citation
Computer Science · Psychology · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Phonetics and Phonology Research #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #electronic engineering #information engineering
- LiteG2P: A fast, light and high accuracy model for grapheme-to-phoneme conversion
2023/03/02 by Chunfeng Wang, Peisong Huang, Wang, Chunfeng +11 · 1 citation
Computer Science · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #Music and Audio Processing #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #electronic engineering #information engineering
- StyleS2ST: Zero-shot Style Transfer for Direct Speech-to-speech Translation
2023/05/28 by Kun Song, Yi Ren, Song, Kun +13 · 1 citation
Computer Science · #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Natural Language Processing Techniques #Sound (cs.SD) #Speech Recognition and Synthesis #Topic Modeling #electronic engineering #information engineering
- Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control
2023/10/10 by Dingran Yuan, Xinyi Yu, Yuan, Dingran +5 · 1 citation
Engineering · Pharmacology, Toxicology and Pharmaceutics · #Autonomous Vehicle Technology and Safety #FOS: Electrical engineering #Forensic Toxicology and Drug Analysis #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
- Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
2022/11/08 by Junyao Hou, Siyuan Liu, Hou, Junyao +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Security and Verification in Computing #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
2024/03/26 by Bowen Ye, Jianing Zhao, Ye, Bowen +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Semantic Web and Ontologies #Systems and Control (eess.SY) #electronic engineering #information engineering
- Explaining Arguments' Strength: Unveiling the Role of Attacks and Supports (Technical Report)
2024/04/22 by Xiang Yin, Yin, Xiang, Potyka Nico +3 · 1 citation
Decision Sciences · #Artificial Intelligence (cs.AI) #Evaluation and Performance Assessment #FOS: Computer and information sciences
- Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
2023/11/27 by Chuwei Wang, Wang, Chuwei, Xinyi Yu +7 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Electrical engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- InfinityHuman: Towards Long-Term Audio-Driven Human
2025/08/27 by Xiaodi Li, Pan Xie, Li, Xiaodi +14 · 3 citations
Computer Science · Neuroscience · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Music Technology and Sound Studies #Speech and Audio Processing #Tactile and Sensory Interactions
- MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit Dataset for Advancing Agricultural Foundation Models
2024/05/14 by Jiajia Li, Li, Jiajia, Kyle Lammers +11 · 1 citation
Agricultural and Biological Sciences · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Smart Agriculture and AI #electronic engineering #information engineering
- You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
2022/11/23 by Yu Chen, Shuo Yang, Chen, Yu +5 · 1 citation
Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Logic, programming, and type systems
- Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
2025/09/16 by Bowen Ye, Ye, Bowen, Huang, Junyue +5 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #AI-based Problem Solving and Planning
- Information-Theoretic Adaptive Cooling for Deterministic MPPI via Entropy Feedback
2026/07/15 by Shuqi Wang, Wenrong Sun, Tao Han +2
#eess.SY #cs.RO #cs.SY