1261 search results - page 225 / 253 » A Hierarchy of Temporal Properties |
SIAMSC
2008
14 years 10 months ago
2008
We derive a Godunov-type relaxation scheme for turbulent flows with heat transfer. The building block of this approach is a kinetic Boltzmann-type formulation for a model of turbul...
TOG
2008
14 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
14 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...
JOT
2007
14 years 10 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
AC
2002
Springer
14 years 10 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...