Sciweavers

1228 search results - page 81 / 246
» Continuations, proofs and tests
Sort
View
IAT
2005
IEEE
14 years 1 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
ICANN
2005
Springer
14 years 1 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»
13 years 11 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...
JUCS
2006
109views more  JUCS 2006»
13 years 8 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
CIE
2009
Springer
14 years 2 months ago
Computable Exchangeable Sequences Have Computable de Finetti Measures
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
Cameron E. Freer, Daniel M. Roy