76 search results - page 1 / 16 » Self-organized Middle-Out Abstraction |
IWSOS
2011
Springer
12 years 7 months ago
2011
Springer
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
IWANN
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper proposes to apply the branch and bound principle from combinatorial optimization to the Dissimilarity Self-Organizing Map (DSOM), a variant of the SOM that can...
ATAL
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. In recent years, mobile ad-hoc networks (MANETs) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability t...
ATAL
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...