2487 search results - page 57 / 498 » cases 2009 |
157
click to vote
ISSTA
2009
ACM
16 years 12 days 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...
176
click to vote
AMSTERDAM
2009
15 years 3 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...
157
click to vote
IWPEC
2009
Springer
16 years 13 days 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...
145
Voted
GECCO
2009
Springer
15 years 10 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 ...
144
click to vote
GECCO
2009
Springer
15 years 10 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...