Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
Surface realisers divide into those used in generation (NLG geared realisers) and those mirroring the parsing process (Reversible realisers). While the first rely on grammars not...
This paper describes the practical side of eye tracker use in the field of human computer interaction. The paper relates to usability evaluations in practice covering those topics...
This paper describes changing needs among the communities that exploit language resources and recent LDC activities and publications that support those needs by providing greater ...