Sciweavers

3061 search results - page 402 / 613
» interactions 2010
Sort
View
IVA
2010
Springer
15 years 4 months ago
MAY: My Memories Are Yours
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
Joana Campos, Ana Paiva
IVA
2010
Springer
15 years 4 months ago
Expression of Behaviors in Assistant Agents as Influences on Rational Execution of Plans
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
Jean-Paul Sansonnet, François Bouchet
KESAMSTA
2010
Springer
15 years 4 months ago
Engaging the Dynamics of Trust in Computational Trust and Reputation Systems
Computational Trust and Reputation (CTR) systems are essential in electronic commerce to encourage interactions and suppress deceptive behaviours. This paper focus on comparing two...
Agnieszka Danek, Joana Urbano, Ana Paula Rocha, Eu...
KI
2010
Springer
15 years 4 months ago
Situation-Specific Intention Recognition for Human-Robot Cooperation
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...
Peter Krauthausen, Uwe D. Hanebeck
LPAR
2010
Springer
15 years 4 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino