1423 search results - page 181 / 285 » Environmental control system based on mobile devices |
ISWC
2003
IEEE
14 years 2 months ago
2003
IEEE
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
An agent-based tool for micro-level simulation of transport chains (TAPAS) is described. It is more powerful than traditional approaches as it is able to capture the interactions ...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Web search is often viewed as a solitary task; however, there are many situations in which groups of people gather around a single computer to jointly search for information onlin...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...