3384 search results - page 251 / 677 » More Testable Properties |
137
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...
144
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
The eccentricity transform associates to each point of a shape the shortest distance to the point farthest away from it. It is defined in any dimension, for open and closed manyfol...
182
click to vote
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
Sensor networks are often used to sense the physical world and provide observations for various uses. In hostile environments, it is critical to control the network access to ensur...
154
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Application scenarios for mobile ad-hoc networks (MANETs) impose a variety of non-standard security requirements. furthermore, in many scenarios owner and user of devices do not a...
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...