998 search results - page 45 / 200 » From Feasible Proofs to Feasible Computations |
60
Voted
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a measurement module that computes the charge from the transient supply current and provides a digital value of this magnitude. The module is constructed to provide a f...
PG
2003
IEEE
15 years 6 months ago
2003
IEEE
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
ESAW
2003
Springer
15 years 6 months ago
2003
Springer
We outline a model for a society of agents based upon one of the classical theories of sociology: The Weber’s model. We first investigate its links to agent technology through i...
108
click to vote
GECCO
2003
Springer
15 years 6 months 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...
DSRT
2000
IEEE
15 years 6 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...