7557 search results - page 1461 / 1512 » Modeling Timed Concurrent Systems |
118
click to vote
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents a system capable of recovering the trajectory of a vehicle from the video input of a single camera at a very high frame-rate. The overall frame-rate is limi...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
112
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel methodology for design space exploration using a two-steps scheme to optimize the number of virtual channel buffers (buffers take the premier share of the route...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...