291 search results - page 14 / 59 » Large Displays in Automotive Design |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
MM
2009
ACM
14 years 2 months ago
2009
ACM
We describe a demonstration of four novel interaction techniques for a cubic head-coupled 3D display. The interactions illustrated include: viewing a static scene, navigating thro...
TSMC
2002
13 years 7 months ago
2002
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
The majority of systems using public displays to foster awareness have focused on providing information across remote locations or among people who are loosely connected and lack ...
CHI
1998
ACM
13 years 11 months ago
1998
ACM
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...