3028 search results - page 459 / 606 » Integrating Temporal Logics |
PAMI
2006
13 years 10 months ago
2006
Developing on-board automotive driver assistance systems aiming to alert drivers about driving environments, and possible collision with other vehicles has attracted a lot of atten...
TOG
2008
13 years 10 months ago
2008
We present a new discrete velocity-level formulation of frictional contact dynamics that reduces to a pair of coupled projections and introduce a simple fixed-point property of th...
CG
2005
Springer
13 years 10 months ago
2005
Springer
We present the Video Paintbox; a novel system capable of transforming video into stylised animations. Our system solves the problem of temporally coherent painting for a wide clas...
TVCG
2008
13 years 10 months ago
2008
Digital interactive information displays are becoming more common in public spaces such as museums, galleries, and libraries. However, the public nature of these locations requires...
ANSOFT
2002
13 years 10 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...