Sciweavers

2004 search results - page 237 / 401
» Understanding Ontological Levels
Sort
View
SCAM
2005
IEEE
15 years 10 months ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
ATAL
2005
Springer
15 years 10 months ago
Global convergence of local agent behaviors
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
H. Van Dyke Parunak, Sven Brueckner, John A. Saute...
CIE
2005
Springer
15 years 10 months ago
A Thread Algebra with Multi-level Strategic Interleaving
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
Jan A. Bergstra, C. A. Middelburg
ECAL
2005
Springer
15 years 10 months ago
Superlinear Physical Performances in a SWARM-BOT
A swarm-bot is a robotic entity built of several autonomous mobile robots (called s-bots) physically connected together. This form of collective robotics exploits robot interaction...
Francesco Mondada, Michael Bonani, André Gu...
GECCO
2005
Springer
15 years 10 months ago
New topologies for genetic search space
We propose three distance measures for genetic search space. One is a distance measure in the population space that is useful for understanding the working mechanism of genetic al...
Yong-Hyuk Kim, Byung Ro Moon