Sciweavers

4107 search results - page 179 / 822
» The Generalized Lambda Test
Sort
View
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
15 years 4 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons
WISE
2009
Springer
16 years 1 months ago
Recommending Improvements to Web Applications Using Quality-Driven Heuristic Search
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...
Stéphane Vaucher, Samuel Boclinville, Houar...
MMSEC
2005
ACM
116views Multimedia» more  MMSEC 2005»
16 years 2 days ago
An SVD-based audio watermarking technique
We present a non-oblivious, extremely robust watermarking scheme for audio signals. The watermarking algorithm is based on the SVD of the spectrogram of the signal. The SVD of the...
Hamza Özer, Bülent Sankur, Nasir D. Memo...
BIRTHDAY
2005
Springer
16 years 2 days ago
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
Mateja Jamnik, Alan Bundy
GECCO
2005
Springer
100views Optimization» more  GECCO 2005»
16 years 1 days ago
The MaxSolve algorithm for coevolution
Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...
Edwin D. de Jong