729 search results - page 131 / 146 » A Transitive Closure Based Algorithm for Test Generation |
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Online communities increasingly rely on reputation information to foster cooperation and deter cheating. As rational agents can often benefit from misreporting their observations,...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
ERSA
2006
13 years 9 months ago
2006
High frame rate video capture and image processing is an important capability for applications in defense and homeland security where incoming missiles must be detected in very sh...
WSC
1997
13 years 9 months ago
1997
This article discusses implementation issues for the LBATCH and ABATCH batch means procedures of Fishman and Yarberry (1997). Theses procedures dynamically increase the batch size...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...