Sciweavers

220 search results - page 16 / 44
» Metamorphic Testing and Beyond
Sort
View
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 3 months ago
The pitfalls of verifying floating-point computations
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...
David Monniaux
ICASSP
2009
IEEE
15 years 10 months ago
Language model parameter estimation using user transcriptions
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...
Bo-June Paul Hsu, James R. Glass
EMO
2005
Springer
110views Optimization» more  EMO 2005»
15 years 9 months ago
Parallelization of Multi-objective Evolutionary Algorithms Using Clustering Algorithms
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...
Felix Streichert, Holger Ulmer, Andreas Zell
111
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
Influences of Context on Memory for Routes
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...
Sabine Schumacher, Karl Friedrich Wender, Rainer R...
DIS
2008
Springer
15 years 5 months ago
A Probabilistic Neighbourhood Translation Approach for Non-standard Text Categorisation
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...
Ata Kabán