Sciweavers

3238 search results - page 323 / 648
» On the Computational Interpretation of Negation
Sort
View
EUROITV
2007
Springer
16 years 26 days ago
Focusing on Elderly: An iTV Usability Evaluation Study with Eye-Tracking
Elderly people often experience difficulties using interactive TV. This paper presents the findings of a usability evaluation study in combination with eye-tracking conducted for a...
Marianna Obrist, Regina Bernhaupt, Elke Beck, Manf...
194
Voted
GI
2007
Springer
16 years 26 days ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
GI
2007
Springer
16 years 26 days ago
EgoIR: Ontology-based Information Retrieval Intended for eGovernment
: The eGovernment is a field of applications for the Semantic Web. The eGovernment also is becoming an important research area and faces considerable challenges to achieve interope...
Fernando Ortiz-Rodríguez, Raúl Palma...
MIRAGE
2007
Springer
16 years 25 days ago
Copying Behaviour of Expressive Motion
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
Maurizio Mancini, Ginevra Castellano, Elisabetta B...
TLCA
2007
Springer
16 years 25 days ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan