5289 search results - page 492 / 1058 » Evolutionary Computation for Modeling and Optimization |
150
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
173
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present an iterative approximate solution to the multidimensional assignment problem under general cost functions. The method maintains a feasible solution at every step, and i...
154
click to vote
IWSEC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
209
click to vote
CAD
2006
Springer
15 years 7 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
185
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a game theoretic framework for obtaining a user-optimal load balancing scheme in heterogeneous distributed systems. We formulate the static load balancing...