419 search results - page 55 / 84 » Automatic Synthesis of Real Time Systems |
122
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
109
click to vote
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
140
click to vote
RSP
2000
IEEE
15 years 6 months ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
118
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, we investigate the problem of automatic audio surveillance. This aspect of the surveillance, which extends the more investigated area of video surveillance, can be ...
110
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...