220 search results - page 16 / 44 » Metamorphic Testing and Beyond |
TOPLAS
2008
13 years 9 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
EMO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. While Single-Objective Evolutionary Algorithms (EAs) parallelization schemes are both well established and easy to implement, this is not the case for Multi-Objective Evo...
SPATIALCOGNITION
2000
Springer
14 years 1 months ago
2000
Springer
Possible influences of contexts on memory for routes are investigated. Route knowledge was established by learning a route which was presented on a computer screen. Activation of k...
DIS
2008
Springer
13 years 11 months ago
2008
Springer
The need for non-standard text categorisation, i.e. based on some subtle criterion other than topics, may arise in various circumstances. In this study, we consider written respons...