Sciweavers

1310 search results - page 176 / 262
» Progressive Optimization in Action
Sort
View
SPIN
2005
Springer
15 years 10 months 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
141
Voted
EUROPAR
2004
Springer
15 years 10 months 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»
15 years 10 months 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
127
Voted
ATAL
2003
Springer
15 years 10 months 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 9 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...