Sciweavers

2373 search results - page 308 / 475
» Modelling Facial Behaviours
Sort
View
TPHOL
2008
IEEE
15 years 11 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
ECAL
2007
Springer
15 years 10 months ago
Near-Optimal Mobile Robot Recharging with the Rate-Maximizing Forager
We examine the practical problem of a mobile autonomous robot performing a long-duration survey task, during which it must recharge its batteries periodically. We present a scalabl...
Jens Wawerla, Richard T. Vaughan
ICA
2007
Springer
15 years 10 months ago
Blind Separation of Instantaneous Mixtures of Dependent Sources
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...
Marc Castella, Pierre Comon
IVA
2007
Springer
15 years 10 months ago
An Expressive Avatar for Instant Messaging Endowed with Emotional Intelligence
In this paper, we propose to endow a graphical representation of a user in Instant Messaging – an avatar – with the ability to recognize and to express emotions and to play soc...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
TGC
2007
Springer
15 years 10 months ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova