Sciweavers

881 search results - page 55 / 177
» Continuous testing in eclipse
Sort
View
GECCO
2005
Springer
124views Optimization» more  GECCO 2005»
15 years 3 months ago
Generalized benchmark generation for dynamic combinatorial problems
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
Abdulnasser Younes, Paul H. Calamai, Otman A. Basi...
IAT
2005
IEEE
15 years 3 months ago
A Comparison of Adaptive and Static Agents in Equity Market Trading
This paper aims to determine whether an adaptive agent population performs better than a static population. A static population is evolved on historical equity market data from th...
Cyril Schoreels, Jonathan M. Garibaldi
LICS
2005
IEEE
15 years 3 months ago
Proof Theory for Kleene Algebra
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
Chris Hardin
ICANN
2005
Springer
15 years 3 months ago
Smooth Bayesian Kernel Machines
Abstract. In this paper, we consider the possibility of obtaining a kernel machine that is sparse in feature space and smooth in output space. Smooth in output space implies that t...
Rutger W. ter Borg, Léon J. M. Rothkrantz
PROPOR
2010
Springer
159views Languages» more  PROPOR 2010»
15 years 1 months ago
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
Patrick Silva, Pedro Batista, Nelson Neto, Aldebar...