Le, Hieu Kinh

Ensemble methods are widely applied in classification problems. Ensemble methods combine results from multiple classifiers to overcome the possible deficiency of any single classifier. One important question is how to construct...

Williams, Graham Peter

This project is a case study on formal verification of an Android application used for pain management. When it comes to healthcare applications, the consistency of the application is crucial, as it may affect the wellbeing of...

Ni, Wode

In this project, we investigated the effectiveness of the Super-Resolution algorithm on a distant whiteboard scenario. Imagine a person taking a video or an image sequence of a whiteboard from a distance. Due to the limitation...