Sciweavers

9325 search results - page 349 / 1865
» The decentralized implementability problem
Sort
View
147
Voted
TOOLS
1997
IEEE
15 years 8 months ago
A Catalogue of General-Purpose Software Design Patterns
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
Walter F. Tichy
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
15 years 3 months ago
Guaranteed navigation with an unreliable blind robot
— We consider a navigation problem for a robot equipped with only a map, compass, and contact sensor. In addition to the limitations placed on sensing, we assume that there exist...
Jeremy S. Lewis, Jason M. O'Kane
SC
2003
ACM
15 years 10 months ago
GridSAT: A Chaff-based Distributed SAT Solver for the Grid
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
Wahid Chrabakh, Richard Wolski
IJCAI
2003
15 years 6 months ago
Generalizing GraphPlan by Formulating Planning as a CSP
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...
Adriana Lopez, Fahiem Bacchus
135
Voted
GECCO
2008
Springer
103views Optimization» more  GECCO 2008»
15 years 5 months ago
Empirical investigations on parallel competent genetic algorithms
This paper empirically investigates parallel competent genetic algorithms (cGAs) [4]. cGAs, such as BOA [21], LINCGA [15], D5 -GA [28], can solve GA-difficult problems by automati...
Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama