Sciweavers

10051 search results - page 4 / 2011
» A Dynamic Separator Algorithm
Sort
View
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
14 years 6 days ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
ECOOP
2009
Springer
14 years 7 months ago
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
Jan Smans, Bart Jacobs 0002, Frank Piessens
INFOCOM
2003
IEEE
14 years 8 days ago
A Dynamic RWA Algorithm in a Wavelength-Routed All-Optical Network with Wavelength Converters
—Existing research demonstrated that an effective Routing and Wavelength Assignment (RWA) scheme and a wavelength converter placement algorithm are the two primary vehicles for i...
Xiaowen Chu, Bo Li
ICA
2010
Springer
13 years 7 months ago
The 2010 Signal Separation Evaluation Campaign (SiSEC2010): Audio Source Separation
Abstract. This paper introduces the audio part of the 2010 communitybased Signal Separation Evaluation Campaign (SiSEC2010). Seven speech and music datasets were contributed, which...
Shoko Araki, Alexey Ozerov, Vikrham Gowreesunker, ...
CVPR
2009
IEEE
15 years 2 months ago
Variational Layered Dynamic Textures
A dynamic texture is a generative model for video that treats the video as a sample from spatio-temporal stochastic process. One problem associated with the dynamic texture is t...
Antoni B. Chan, Nuno Vasconcelos