Sciweavers

1426 search results - page 207 / 286
» A theory of goal-oriented communication
Sort
View
AIED
2005
Springer
15 years 7 months ago
The Politeness Effect: Pedagogical Agents and Learning Gains
Pedagogical agent research seeks to exploit Reeves and Nass’s Media Equation, which holds that users respond to interactive media as if they were social actors. Investigations ha...
Ning Wang, W. Lewis Johnson, Richard E. Mayer, Pao...
ATAL
2005
Springer
15 years 7 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
EPEW
2005
Springer
15 years 7 months ago
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
FC
2005
Springer
110views Cryptology» more  FC 2005»
15 years 7 months ago
Approximate Message Authentication and Biometric Entity Authentication
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...
Giovanni Di Crescenzo, R. F. Graveman, Renwei Ge, ...
GECCO
2005
Springer
220views Optimization» more  GECCO 2005»
15 years 7 months ago
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
Mark Fleischer