Energy Scheduling of Virtual Power Plants: A Data-Driven Enclosing Polyhedron Method.
IEEE Trans. Ind. Informatics, February, 2025
Leverage Learning Behaviour Data for Students' Learning Performance Prediction and Influence Factor Analysis.
IEEE Trans. Artif. Intell., May, 2024
Local/Global explainability empowered expert-involved frameworks for essential tremor action recognition.
Biomed. Signal Process. Control., 2024
Mesh-LOAM: Real-time Mesh-Based LiDAR Odometry and Mapping.
CoRR, 2023
Body Temperature Monitoring for Regular COVID-19 Prevention Based on Human Daily Activity Recognition.
Sensors, 2021
Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev., 2014
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
The case for active device drivers.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010