Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
The relationship between videogames and violent behaviour was analysed in a representative sample of 9889 Norwegian youth ageing from 13 to 18 years. Videogames were separated in ...
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
Fabio Crestani, Luis M. de Campos, Juan M. Fern&aa...