2470 search results - page 313 / 494 » Liveness-Preserving Simulation Relations |
117
Voted
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
132
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
119
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
165
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...
164
Voted
ISCIS
2003
Springer
15 years 10 months ago
2003
Springer
Effects of network parameters on the performance of mobile ad hoc networks (MANETs) have been widely investigated. However, there are certain issues related to the hardware implem...