1722 search results - page 155 / 345 » Generating Tests from Counterexamples |
ICMLA
2004
13 years 11 months ago
2004
Complexity, or in other words compactness, of models generated by rule learners is one of often neglected issues, although it has a profound effect on the success of any project t...
TSE
1998
13 years 10 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes a genetic algorithm for the DNA sequencing problem. The algorithm allows the input spectrum to contain both positive and negative errors as could be ...
NIPS
2003
13 years 11 months ago
2003
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
AEI
1999
13 years 10 months ago
1999
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...