4460 search results - page 742 / 892 » Formal methods for interactive systems |
147
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 5 months ago
2010
Eurographics
We present a novel method for the synthesis and animation of realistic traffic flows on large-scale road networks. Our technique is based on a continuum model of traffic flow we e...
143
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
122
click to vote
AR
2005
15 years 3 months ago
2005
This paper discusses the application of robotic technologies to an evacuation assistance task. We describe how this kind of task differs from the more prevalent search and rescue ...
142
click to vote
IPM
2007
15 years 3 months ago
2007
As access to information becomes more intensive in society, a great deal of that information is becoming available through diverse channels. Accordingly, users require effective ...
186
click to vote
MTA
2011
14 years 11 months ago
2011
Research on methods for detection and recognition of events and actions in videos is receiving an increasing attention from the scientific community, because of its relevance for ...