3218 search results - page 228 / 644 » Timed Extensions for SDL |
152
click to vote
APSEC
2008
IEEE
16 years 23 days ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
148
click to vote
ICRA
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract— We have recently proposed DSLX, a motion planner that significantly reduces the computational time for solving challenging kinodynamic problems by interleaving continu...
198
click to vote
3DIM
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
162
click to vote
AVSS
2007
IEEE
16 years 19 days ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...
160
click to vote
DATE
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...