4880 search results - page 205 / 976 » Manuals as Structured Programs |
138
click to vote
AAAI
2008
15 years 6 months ago
2008
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
124
click to vote
COR
2008
15 years 3 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
147
click to vote
ISCI
2006
15 years 3 months ago
2006
We investigate the effectiveness of GP-generated intelligent structures in classification tasks. Specifically, we present and use four context-free grammars to describe (1) decisi...
141
click to vote
JUCS
2008
15 years 3 months ago
2008
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
126
click to vote
LOGCOM
2007
15 years 3 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...