1722 search results - page 270 / 345 » Generating Tests from Counterexamples |
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
We present a freely available benchmark dataset for audio classification and clustering. This dataset consists of 10 seconds samples of 1886 songs obtained from the Garageband si...
IWANN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper proposes a new vision-based system that can extract walking parameters from human demonstration. The system uses only a non-calibrated USB webcam connected to ...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we demonstrate that the performance of a motif discovery algorithm can be significantly improved by embedding it into a novel framework that effectively guides the ...
EGPGV
2004
Springer
14 years 1 months ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
ICT
2004
Springer
14 years 1 months ago
2004
Springer
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...