Sciweavers

9841 search results - page 743 / 1969
» Distributed Value Functions
Sort
View
CONCUR
2005
Springer
16 years 1 months ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
EVOW
2005
Springer
16 years 1 months ago
The Electric Sheep Screen-Saver: A Case Study in Aesthetic Evolution
Abstract. Electric Sheep is a distributed screen-saver that harnesses idle computers into a render farm with the purpose of animating and evolving artificial life-forms known as s...
Scott Draves
GECCO
2004
Springer
16 years 29 days ago
Dynamic Uniform Scaling for Multiobjective Genetic Algorithms
Before Multiobjective EvolutionaryAlgorithms (MOEAs) can be used as a widespread tool for solving arbitrary real world problems there are some salient issues which require further ...
Gerulf K. M. Pedersen, David E. Goldberg
ICRA
1999
IEEE
110views Robotics» more  ICRA 1999»
15 years 12 months ago
Subpixel Localization and Uncertainty Estimation Using Occupancy Grids
We describe techniques for performing mobile robot localization using occupancy grids that allow subpixel localization and uncertainty estimation in the pixelized pose space. The ...
Clark F. Olson
ICA
2007
Springer
15 years 11 months ago
Phase-Aware Non-negative Spectrogram Factorization
Non-negative spectrogram factorization has been proposed for single-channel source separation tasks. These methods operate on the magnitude or power spectrogram of the input mixtur...
R. Mitchell Parry, Irfan A. Essa