This paper describes an annotation scheme for argumentation in opinionated texts such as newspaper editorials, elaborated from a corpus of approximately 500 English texts from Nep...
Relevance evaluation is an essential part of the development and maintenance of information retrieval systems. Yet traditional evaluation approaches have several limitations; in p...
Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology r...
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
In this paper we present a system that simulates urgency-augmented phone calls on mobile phones. Different scenarios and interaction techniques are discussed. We report a user stu...