Sciweavers

4190 search results - page 265 / 838
» Implementing commitment-based interactions
Sort
View
TPHOL
1999
IEEE
15 years 8 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
VRML
1998
ACM
15 years 8 months ago
Using VRML as an Interface to the 3D Data Warehouse
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
Volker Coors, Volker Jung
AIHC
2007
Springer
15 years 7 months ago
Foundations of Human Computing: Facial Expression and Emotion
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
Jeffrey F. Cohn
CHIMIT
2007
ACM
15 years 7 months ago
Supporting expertise awareness: finding out what others know
This paper presents an innovative approach to solve the problem of missing transparency of competencies within virtual organizations. We based our work on empirical studies to cop...
Christian Dörner, Volkmar Pipek, Markus Won
IVA
2009
Springer
15 years 7 months ago
Breaking the Ice in Human-Agent Communication: Eye-Gaze Based Initiation of Contact with an Embodied Conversational Agent
In human-human conversation, the first impression decides whether two people feel attracted by each other and whether contact between them will be continued or not. Starting from ...
Nikolaus Bee, Elisabeth André and Susanne Tober