We present an empirical analysis of the effect that the gain and discount functions have in the correlation between DCG and user satisfaction. Through a large user study we estimate the relationship between satisfaction and the effectiveness computed with a test collection. In particular, we estimate the probabilities that users find a system satisfactory given a DCG score, and that they agree ...

We consider the problem of digitalizing Euclidean line segments from R to Z. Christ et al. (DCG, 2012) showed how to construct a set of consistent digital segment (CDS) for d = 2: a collection of segments connecting any two points in Z2 that satisfies the natural extension of the Euclidean axioms to Z. In this paper we study the construction of CDSs in higher dimensions. We show that any total ...

In [4] we studied a new type of DCGs, Datalog grammars, which are inspired on database theory. Their efficiency was shown to be better than that of their DCG counterparts under (terminating) OLDTresolution. In this article we motivate a variant of Datalog grammars which allows us a meta-grammatical treatment of coordination. This treatment improves in some respects over previous work on coordin...

Starting in the mid-1980s, grammars in the DCG, PATR and LFG formats have been implemented at the University of Constance. Experience has shown that translating a grammar specification into machine interrretable code, e.g., Prolog, is difficult and errorprone. A current attempt to let students and research co-workers formulate and test grammar sketches in an abstract formalism directly on the c...

In one way or another, the extension of the standard Brownian motion process {B¡: t e [0,oo)} to a (Gaussian) random field {Bt: t € R+} involves a proof of the positive semi-definiteness of the kernel used to generalize p(s, 1) = cov(Bs,B¡) = s A t to multidimensional time. Simple direct analytical proofs are provided here for the cases of (i) the Levy multiparameter Brownian motion, (ii) the C...