5275 search results - page 449 / 1055 » Computing by observing |
157
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
216
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
205
click to vote
TABLETOP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper explores users’ interpersonal interactions during collaboration around a tabletop display, in order to better understand the affordances offered by this medium. We in...
194
click to vote
WMTE
2006
IEEE
16 years 1 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
173
click to vote
HRI
2006
ACM
16 years 1 months ago
2006
ACM
We report a study of a human-robot system composed of a science team (located in Pittsburgh), an engineering team (located in Chile), and a robot (located in Chile). We performed ...