3 papers
cs.LO2025
Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
Yongming Li
Possibilistic computation tree Logic (PoCTL) is one kind of branching temporal logic combined with uncertain information in possibility theory, which was introduced in order to cop…
cs.HC2025
Automated UX Insights from User Research Videos by Integrating Facial Emotion and Text Sentiment
Simran Kaur Ghatoray, Yongmin Li
Emotion recognition technology has been studied from the past decade. With its growing importance and applications such as customer service, medical, education, etc., this research…
cs.MM2024
Combining Genre Classification and Harmonic-Percussive Features with Diffusion Models for Music-Video Generation
Leonardo Pina, Yongmin Li
This study presents a novel method for generating music visualisers using diffusion models, combining audio input with user-selected artwork. The process involves two main stages:…