Sciweavers

4584 search results - page 264 / 917
» interact 2007
Sort
View
MSCS
2007
125views more  MSCS 2007»
15 years 6 months ago
On categorical models of classical logic and the Geometry of Interaction
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
Carsten Führmann, David J. Pym
ECAL
2007
Springer
16 years 25 days ago
Minimal Agency Detection of Embodied Agents
Agency detection is studied in a simple simulated model with embodied agents. Psychological experiments such as double TV-monitor experiments and perceptual crossing show the centr...
Hiroyuki Iizuka, Ezequiel A. Di Paolo
HRI
2007
ACM
15 years 10 months ago
Group attention control for communication robots with wizard of OZ approach
This paper describes a group attention control (GAC) system that enables a communication robot to simultaneously interact with many people. GAC is based on controlling social situ...
Masahiro Shiomi, Takayuki Kanda, Satoshi Koizumi, ...
FIW
1997
151views Communications» more  FIW 1997»
15 years 8 months ago
An Architectural Foundation for Relating Features
Consideration of services in the Intelligent Network and telecommunications leads to the definition of ANISE (Architectural Notions In Service Engineering). This is a rigorous lan...
Kenneth J. Turner
BPM
2007
Springer
142views Business» more  BPM 2007»
16 years 25 days ago
The PiVizTool: Simulating Choreographies with Dynamic Binding
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...
Anja Bog, Frank Puhlmann, Mathias Weske