Sciweavers

1310 search results - page 176 / 262
» Progressive Optimization in Action
Sort
View
SPIN
2005
Springer
16 years 8 days ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
EUROPAR
2004
Springer
16 years 5 days ago
Exploiting Spatial Store Locality Through Permission Caching in Software DSMs
Abstract. Fine-grained software-based distributed shared memory (SWDSM) systems typically maintain coherence with in-line checking code at load and store operations to shared memor...
Håkan Zeffer, Zoran Radovic, Oskar Grenholm,...
GECCO
2004
Springer
106views Optimization» more  GECCO 2004»
16 years 5 days ago
Learning to Acquire Autonomous Behavior: Cooperation by Humanoid Robots
In this paper, we describe a cooperative transportation to a target position with two humanoid robots and introduce a machine learning approach to solving the problem. The difficul...
Yutaka Inoue, Takahiro Tohge, Hitoshi Iba
ATAL
2003
Springer
16 years 17 hour ago
Minimizing communication cost in a distributed Bayesian network using a decentralized MDP
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
Jiaying Shen, Victor R. Lesser, Norman Carver
IWANN
2009
Springer
15 years 11 months ago
Stereo-MAS: Multi-Agent System for Image Stereo Processing
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
Sara Rodríguez, Juan Francisco de Paz, Javi...