2899 search results - page 521 / 580 » On the Complexity of Exclusion Algorithms for Optimization |
113
click to vote
FSTTCS
2008
Springer
15 years 2 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
118
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— In Evolutionary Robotics (ER), explicitly rewarding for behavioral diversity recently revealed to generate efficient results without recourse to complex fitness funct...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multipleoutput (MIMO) system, wherein each user may receive more than one data stream. We ...
144
click to vote
DATAMINE
2010
15 years 1 months ago
2010
We address the combinatorial optimization problem of finding the most influential nodes on a large-scale social network for two widely-used fundamental stochastic diffusion models...
104
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...