2583 search results - page 337 / 517 » Compiling for stream processing |
156
click to vote
CALCO
2007
Springer
16 years 20 days ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
159
click to vote
ICA
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we present a broadband two-microphone blind spatial separation technique by efficiently combining adaptive beamforming (ABF) with multichannel blind deconvolution (M...
137
click to vote
SCIA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The rendering of lower resolution image data on higher resolution displays has become a very common task, in particular because of the increasing popularity of webcams, c...
210
click to vote
AVSS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents the implementation of a video segmentation unit used for embedded automated video surveillance systems. Various aspects of the underlying segmentation algorith...
175
click to vote
DEXAW
2006
IEEE
16 years 17 days ago
2006
IEEE
Internet should be used to reduce distances and bring people virtually closer. Using ICT, many people has overcome the problem of digital divided [1] thanks to support of informat...