Sciweavers

988 search results - page 142 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
106
Voted
CVPR
2005
IEEE
16 years 2 months 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...
127
Voted
CVPR
2006
IEEE
16 years 2 months 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
15 years 5 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
129
Voted
EC
2008
146views ECommerce» more  EC 2008»
15 years 22 days 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
80
Voted
TASLP
2008
133views more  TASLP 2008»
15 years 17 days 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