The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
—The growing popularity of social media in recent years has resulted in the creation of an enormous amount of user-developed content. While information is readily available, ther...
In this paper, we discuss the generation of icons that represent the emotion expressed in music. We use the emotion plane for connecting the music with the icon shape affectively....
Hyun-Ju Kim, Min-Joon Yoo, Ji-yong Kwon, In-Kwon L...