This paper describes a method for checking the acceptability of paraphrases in context. We use the Google n-gram data and a CCG parser to certify the paraphrasing grammaticality a...
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Currently supportive information systems for higher education and research are responding to specific information needs within institutes, departments and administration. These se...
Stefan Klink, Andreas Oberweis, Daniel Ried, Ralf ...
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
This paper suggests a novel segmentation algorithm for separating moving objects from the background in video sequences without any prior information of the sequence nature. We for...