Sciweavers

2179 search results - page 127 / 436
» Co-Creation System and Human-Computer Interaction
Sort
View
161
Voted
HRI
2007
ACM
15 years 8 months ago
Human control for cooperating robot teams
Human control of multiple robots has been characterized by the average demand of single robots on human attention or the distribution of demands from multiple robots. When robots ...
Jijun Wang, Michael Lewis
CASSIS
2004
Springer
15 years 8 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
ACMACE
2008
ACM
15 years 7 months ago
MPML3D: agent authoring language for virtual worlds
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
Sebastian Ullrich, Helmut Prendinger, Mitsuru Ishi...
ACMACE
2008
ACM
15 years 7 months ago
Shadow agent: a new type of virtual agent
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
Philippe Pasquier, Eunjung Han, Kirak Kim, Keechul...
ACMACE
2008
ACM
15 years 7 months ago
Real binoculars with virtual functions for mixed environments
Though often desirable, the integration of real and virtual elements in mixed reality environments can be difficult. We propose a number of techniques to facilitate scene explorat...
Andrei Sherstyuk, Kin Lik Wang, Anton Treskunov, J...