SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
We develop a quantitative method to assess the style of American poems and to visualize a collection of poems in relation to one another. Qualitative poetry criticism helped guide...
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...