Department of Computer Science, National University of Singapore, Singapore 117543;Department of Computer Science, National University of Singapore, Singapore 117543;Department of Computer Science, National University of Singapore, Singapore 117543;Department of Computer Science, National University of Singapore, Singapore 117543;Department of Computer Science, National University of Singapore, Singapore 117543