Invited Talk at Department of Computer Science, Yonsei University. [link]