1. Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study Lin, Shou-pon 2015 Theses Automobile drivingAutomobile driving--Steering--Automatic controlAutomobiles--Automatic controlMotor vehicles--Automatic controlAutomatic control--Computer programsArtificial intelligenceElectrical engineeringComputer science
2. Scalable Machine Learning for Visual Data Yu, Xinnan 2015 Theses Artificial intelligenceComputer scienceElectrical engineering
3. Understanding Music Semantics and User Behavior with Probabilistic Latent Variable Models Liang, Dawen 2016 Theses Bayesian statistical decision theory--Industrial applicationsMusic and technologySemanticsInformation technologyRecommender systems (Information filtering)Bayesian statistical decision theoryArtificial intelligenceComputer science
4. Modality Bridging and Unified Multimodal Understanding Akbari, Hassan 2022 Theses Computer scienceArtificial intelligenceMultimedia communicationsVideo recordingsSound recordingsElectric transformers