2210 search results - page 379 / 442 » Applying a Model-based Approach for Embedded System Developm... |
VRCAI
2006
ACM
14 years 2 months ago
2006
ACM
Recent developments in the fields of parallel rendering and high resolution tiled displays have made it possible to apply these technologies to build large and scalable stereo di...
ACII
2005
Springer
14 years 2 months ago
2005
Springer
HandWave is a small, wireless, networked skin conductance sensor for affective computing applications. It is used to detect information related to emotional, cognitive, and physica...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
An analysis of context-aware user interfaces shows that adaptation mechanisms have a cost-benefit trade-off for usability. Unpredictable autonomous interface adaptations can easil...
ISER
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...