998 search results - page 45 / 200 » From Feasible Proofs to Feasible Computations |
ITC
2003
IEEE
14 years 26 days 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
14 years 26 days 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
14 years 25 days 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...
GECCO
2003
Springer
14 years 24 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...
DSRT
2000
IEEE
14 years 14 hour 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...