1074 search results - page 88 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
STACS
2010
Springer
15 years 4 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The widespread success of sampling-based planning algorithms stems from their ability to rapidly discover the connectivity of a configuration space. Past research has ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Distributing spatially located heterogeneous workloads is an important problem in parallel scientific computing. We investigate the problem of partitioning such workloads (repres...
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
In situations where class labels are known for a part of the objects, a cluster analysis respecting this information, i.e. semi-supervised clustering, can give insight into the cl...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Theoretically and empirically it is clear that a genetic algorithm with crossover will outperform a genetic algorithm without crossover in some fitness landscapes, and vice versa i...