Sciweavers

1990 search results - page 352 / 398
» Conceptual User Tracking
Sort
View
MMAS
2004
Springer
14 years 3 months ago
Designing Emergency Guidance in a Social Interaction Platform
Future computing systems interact with a large number of users moving around buildings and streets. In this paper, we propose an example of such systems and how to evaluate ubicomp...
Hideyuki Nakanishi, Toru Ishida
PCM
2004
Springer
163views Multimedia» more  PCM 2004»
14 years 3 months ago
Sat-Cam: Personal Satellite Virtual Camera
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
Hansung Kim, Itaru Kitahara, Kiyoshi Kogure, Norih...
SPIN
2004
Springer
14 years 3 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
ETRA
2010
ACM
233views Biometrics» more  ETRA 2010»
14 years 3 months ago
Visual search in the (un)real world: how head-mounted displays affect eye movements, head movements and target detection
Head-mounted displays (HMDs) that use a see-through display method allow for superimposing computer-generated images upon a real-world view. Such devices, however, normally restri...
Tobit Kollenberg, Alexander Neumann, Dorothe Schne...
ICNP
2003
IEEE
14 years 3 months ago
A File-Centric Model for Peer-to-Peer File Sharing Systems
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
Li Zou, Mostafa H. Ammar