1650 search results - page 165 / 330 » The HOM problem is decidable |
141
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
KIVS
2005
Springer
15 years 10 months ago
2005
Springer
: BitTorrent is a peer-to-peer (p2p) protocol for file-sharing. Its improvement over other file-sharing protocols is its tit-for-tat strategy to decide to whom a peer should uplo...
121
click to vote
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
141
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...