Sciweavers

1746 search results - page 140 / 350
» On the expressiveness of interaction
Sort
View
PRIMA
2007
Springer
15 years 8 months ago
Entrainment in Human-Agent Text Communication
Non-verbal information such as utterance speed and switching pause create an impression of the speaker. If intelligent agents could handle such non-verbal information properly, the...
Ikuko Kanashiro, Kazuki Kobayashi, Yasuhiko Kitamu...
ACOM
2006
Springer
15 years 8 months ago
Temporal Logics for Representing Agent Communication Protocols
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
Ulle Endriss
FSTTCS
2004
Springer
15 years 7 months ago
A Calculus for Trust Management
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
SG
2010
Springer
15 years 7 months ago
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
Salman Cheema, Joseph J. LaViola Jr.
LREC
2010
132views Education» more  LREC 2010»
15 years 3 months ago
The NOMCO Multimodal Nordic Resource - Goals and Characteristics
This paper presents the multimodal corpora that are being collected and annotated in the Nordic NOMCO project. The corpora will be used to study communicative phenomena such as fe...
Patrizia Paggio, Jens Allwood, Elisabeth Ahlsen, K...