2487 search results - page 57 / 498 » cases 2009 |
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
108
Voted
AMSTERDAM
2009
14 years 10 months ago
2009
Potts (2005, 2007) claims that Grice's `conventional implicatures' offer a powerful argument in favor of a multidimensional semantics, one in which certain expressions fa...
97
Voted
IWPEC
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds or below tight upper bounds. To illustrate the approac...
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
The restarted estimation of distribution algorithm (EDA) with Cauchy distribution as the probabilistic model is tested on the BBOB 2009 testbed. These tests prove that when using ...
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
The restarted line search, or coordinate-wise search, algorithm is tested on the BBOB 2009 testbed. Two different univariate search algorithms (fminbnd from MATLAB and STEP) were...