§

While navigation instructions in terms of turn instructions and distances are suitable for guiding drivers on roads, a different context of use like pedestrian navigation requires extended routing data and algorithms as well as adapted presentation forms to be effective. In our work we study alternative forms of navigation instructions for pedestrians in city environments. In this paper we expl...

The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their parts and structures, and on the relationship between problem and solution method. This leads to an emphasis on describing the world outside the computer, and reasoning about it explicitly; to an approach to problem comple...

This paper presents the results of a corpus study which reveals the frequency of restrictive post-modification on definite descriptions in English language texts (newspaper articles). It shows that restricted descriptions are usually first mention uses (nonanaphoric) and that these can be systematically identified. The paper then compares features of restricted descriptions with bridging refere...

This paper is a survey on the equational descriptions of languages. The first part is devoted to Birkhoff’s and Reiterman’s theorems on equational descriptions of varieties. Eilenberg’s variety theorem and its successive generalizations form the second part. The more recent results on equational descriptions of lattices of languages are presented in the third part of the paper. Equations have b...

Linked Open Data (LOD) sources on the Web are increasingly becoming more popular. RDF constraints can be used to characterize the RDF graphs being provided by such sources. For applications that process data retrieved from several of such RDF graphs it becomes interesting to analyze the relationships of the different sets of constraints associated with the sources providing the RDF graphs. In t...