3238 search results - page 323 / 648 » On the Computational Interpretation of Negation |
167
click to vote
EUROITV
2007
Springer
16 years 26 days ago
2007
Springer
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...
194
Voted
GI
2007
Springer
16 years 26 days ago
2007
Springer
: 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...
147
click to vote
GI
2007
Springer
16 years 26 days ago
2007
Springer
: 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...
193
click to vote
MIRAGE
2007
Springer
16 years 25 days ago
2007
Springer
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...
184
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
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...