Sciweavers

965 search results - page 163 / 193
» Scaling into Ambient Intelligence
Sort
View
AMEC
2003
Springer
15 years 7 months ago
Choosing Samples to Compute Heuristic-Strategy Nash Equilibrium
Auctions define games of incomplete information for which it is often too hard to compute the exact Bayesian-Nash equilibrium. Instead, the infinite strategy space is often popu...
William E. Walsh, David C. Parkes, Rajarshi Das
AP2PC
2003
Springer
15 years 7 months ago
P2P MetaData Search Layers
Distributed Hashtables (DHTs) provide a scalable method of associating file-hashes with a particular location in a distributed network environment. Modifying DHTs directly to suppo...
Sam Joseph
GIS
2009
ACM
15 years 5 months ago
Next generation map making: geo-referenced ground-level LIDAR point clouds for automatic retro-reflective road feature extractio
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...
Xin Chen, Brad Kohlmeyer, Matei Stroila, Narayanan...
ACL2
2006
ACM
15 years 5 months ago
Combining ACL2 and an automated verification tool to verify a multiplier
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
Erik Reeber, Jun Sawada
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
15 years 5 months ago
Fluctuating crosstalk, deterministic noise, and GA scalability
This paper extends previous work showing how fluctuating crosstalk in a deterministic fitness function introduces noise into genetic algorithms. In that work, we modeled fluctuati...
Paul Winward, David E. Goldberg