1005 search results - page 175 / 201 » Temporal Structures |
FAC
2008
13 years 7 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
IJCV
2008
13 years 7 months ago
2008
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a straight or a mildly curved path and a sa...
TCSV
2008
13 years 7 months ago
2008
This paper describes a probabilistic framework for faithful reproduction of dynamic facial expressions on a synthetic face model with MPEG-4 facial animation parameters (FAPs) whil...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
We present a multi-dimensional, multi-step negotiation mechanism for task allocation among cooperative agents based on distributed search. This mechanism uses marginal utility gai...
TVCG
2008
13 years 7 months ago
2008
Abstract-- Fluid simulations typically produce complex threedimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such "dynam...