In this paper, we describe the notion of a semantic information portal. This is a community information portal that exploits the semantic web standards to improve structure, exten...
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to...
We propose semantic role features for a Tree-to-String transducer to model the reordering/deletion of source-side semantic roles. These semantic features, as well as the Tree-to-S...
A web media agent is presented, which can make a user's web surfing experience more productive. Once the user visits a web page, semantic descriptions of the media objects on...
Zheng Chen, Liu Wenyin, Rui Yang, Mingjing Li, Hon...