Sciweavers

355 search results - page 53 / 71
» On Ramsey-type positional games
Sort
View
FOSSACS
2010
Springer
14 years 2 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
ROMAN
2007
IEEE
133views Robotics» more  ROMAN 2007»
14 years 1 months ago
Investigating Implicit Cues for User State Estimation in Human-Robot Interaction Using Physiological Measurements
— Achieving and maintaining user engagement is a key goal of human-robot interaction. This paper presents a method for determining user engagement state from physiological data (...
Emily Mower, David Feil-Seifer, Maja J. Mataric, S...
PERVASIVE
2007
Springer
14 years 1 months ago
Evaluating a Wearable Display Jersey for Augmenting Team Sports Awareness
This paper introduces a user-centered design process and case study evaluation of a novel wearable visualization system for team sports, coined TeamAwear. TeamAwear consists of thr...
Mitchell Page, Andrew Vande Moere
HRI
2006
ACM
14 years 1 months ago
Effective team-driven multi-model motion tracking
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
Yang Gu, Manuela M. Veloso
ICCV
2005
IEEE
14 years 1 months ago
Tracking Body Parts of Multiple People for Multi-person Multimodal Interface
Although large displays could allow several users to work together and to move freely in a room, their associated interfaces are limited to contact devices that must generally be s...
Sébastien Carbini, Jean-Emmanuel Viallet, O...