Sciweavers

1134 search results - page 135 / 227
» Composing Tests from Examples
Sort
View
INFORMATICALT
2000
104views more  INFORMATICALT 2000»
14 years 11 months ago
Nonlinear Stochastic Optimization by the Monte-Carlo Method
Methods for solving stochastic optimization problems by Monte-Carlo simulation are considered. The stoping and accuracy of the solutions is treated in a statistical manner, testing...
Leonidas Sakalauskas
ISCI
1998
193views more  ISCI 1998»
14 years 11 months ago
A Parallel Implementation of Genetic Programming that Achieves Super-Linear Performance
: This paper describes the successful parallel implementation of genetic programming on a network of processing nodes using the transputer architecture. With this approach, researc...
David Andre, John R. Koza
UAIS
2002
104views more  UAIS 2002»
14 years 10 months ago
Design and evaluation of an adaptive virtual guide for Web applications
Most applications accessible through the Web suffer from a noticeable lack of support for adapting to the different information needs that different users may have regarding a cert...
Luisa Marucci, Fabio Paternò
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 5 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
SDM
2008
SIAM
122views Data Mining» more  SDM 2008»
15 years 18 days ago
Type-Independent Correction of Sample Selection Bias via Structural Discovery and Re-balancing
Sample selection bias is a common problem in many real world applications, where training data are obtained under realistic constraints that make them follow a different distribut...
Jiangtao Ren, Xiaoxiao Shi, Wei Fan, Philip S. Yu