140 search results - page 23 / 28 » Asynchrony and Real-Time Dependable Computing |
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
In this paper, we propose a so-called AutoGate algorithm for fast and automatic Doppler gate localization in B-mode echocardiography. The algorithm has two components: 1) cardiac s...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a new method for warping highresolution images to efficiently track objects on the ground plane in real time. Recently, the emergence of high resolution video cameras (...
ACIVS
2008
Springer
14 years 2 months ago
2008
Springer
Within a camera network, the contribution of a camera to the observations of a scene depends on its viewpoint and on the scene configuration. This is a dynamic property, as the sc...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...