2302 search results - page 85 / 461 » Testing as Abstraction |
207
click to vote
ISNN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The performance of financial forecasting with neural networks dependents on the particular training set. We design mean-change-point test to divide the original dataset i...
138
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
184
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract Parallel algorithms for the approximation of a multi-dimensional integral over an hyper-rectangular region are discussed. Algorithms based on quasi-Monte Carlo techniques ...
143
click to vote
ISMIS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
180
click to vote
RANDOM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We consider approximate PCPs for multidimensional bin-packing problems. In particular, we show how a verifier can be quickly convinced that a set of multidimensional blo...