970 search results - page 94 / 194 » Dynamics and Automaticity of Context: A Cognitive Modeling A... |
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
141
click to vote
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
ACII
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...
150
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...