Sciweavers

3428 search results - page 262 / 686
» Making the Case
Sort
View
FMCAD
2008
Springer
15 years 8 months ago
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow
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...
Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen
AMT
2010
Springer
289views Multimedia» more  AMT 2010»
15 years 8 months ago
An Approach for the Design of Self-conscious Agent for Robotics
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...
ACL
2008
15 years 8 months ago
Contradictions and Justifications: Extensions to the Textual Entailment Task
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...
Ellen M. Voorhees
APCCM
2008
15 years 8 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
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...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
BCSHCI
2007
15 years 8 months ago
Breaking the campus bubble: informed, engaged, connected
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...