2583 search results - page 421 / 517 » On the Representation of Timed Polyhedra |
167
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
143
click to vote
CTW
2010
15 years 6 months ago
2010
This paper introduces a novel design for an automotive full-windshield Head-Up Display (HUD) interface which aims to improve the driver's spatial awareness and response times...
121
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
168
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
155
click to vote
AR
2006
15 years 6 months ago
2006
The development and expression of many higher level cognitive functions, such as imitation, spatial perception, and tool-use relies on a multi-modal representation of the body kno...