8780 search results - page 305 / 1756 » On the Feasibility of Consistent Computations |
196
Voted
GECCO
2003
Springer
16 years 21 days ago
2003
Springer
A parameter-less adaptive penalty scheme for steady-state genetic algorithms applied to constrained optimization problems is proposed. For each constraint, a penalty parameter is a...
211
click to vote
ICALP
2003
Springer
16 years 21 days ago
2003
Springer
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...
180
Voted
DSRT
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
186
click to vote
COCO
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
240
Voted
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...