Synchronous Data flow (SDF) graphs have a simple and elegant semantics (essentially linear algebra) which makes SDF graphs eminently suitable as a vehicle for studying scheduling o...
Developing complex robotic systems endowed with self-conscious abilities and subjective experience is a hard requirement to face at design time. This paper deals with the developme...
Antonio Chella, Massimo Cossentino, Valeria Seidit...
The third PASCAL Recognizing Textual Entailment Challenge (RTE-3) contained an optional task that extended the main entailment task by requiring a system to make three-way entailm...
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
This paper introduces UniVote, a system supporting mobile phone-based interaction with public displays. The case study carried out at Lancaster University indicates that the campu...
Nick Day, Corina Sas, Alan J. Dix, Motoko Toma, Ch...