Sciweavers

988 search results - page 142 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
CVPR
2005
IEEE
15 years 24 days ago
Bi-Layer Segmentation of Binocular Stereo Video
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
Vladimir Kolmogorov, Antonio Criminisi, Andrew Bla...
CVPR
2006
IEEE
15 years 24 days ago
Bilayer Segmentation of Live Video
This paper presents an algorithm capable of real-time separation of foreground from background in monocular video sequences. Automatic segmentation of layers from colour/contrast ...
Antonio Criminisi, Geoffrey Cross, Andrew Blake, V...
KBSE
1999
IEEE
14 years 3 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
EC
2008
146views ECommerce» more  EC 2008»
13 years 10 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga
TASLP
2008
133views more  TASLP 2008»
13 years 10 months ago
Evaluation of Objective Quality Measures for Speech Enhancement
In this paper, we evaluate the performance of several objective measures in terms of predicting the quality of noisy speech enhanced by noise suppression algorithms. The objective ...
Yi Hu, Philipos C. Loizou