143 search results - page 12 / 29 » Introducing Actions into Qualitative Simulation |
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...
COMPSEC
2010
13 years 8 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
ALS
2003
Springer
14 years 1 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...