In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
Roberto Calvo-Palomino, Pedro de las Heras Quir&oa...
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...