Sciweavers

8278 search results - page 383 / 1656
» Context-Aware Process Networks
Sort
View
CONCUR
2010
Springer
15 years 8 months ago
Parameterized Verification of Ad Hoc Networks
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
ICASSP
2010
IEEE
15 years 7 months ago
Joint bandwidth and power allocation in wireless multi-user decode-and-forward relay networks
The resource allocation problem in wireless multi-user decode-and-forward (DF) relay networks is considered. The conventional resource allocation schemes based on the equal distri...
Xiaowen Gong, Sergiy A. Vorobyov, Chintha Tellambu...
IJON
2007
99views more  IJON 2007»
15 years 6 months ago
Criticality of avalanche dynamics in adaptive recurrent networks
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpliï...
Anna Levina, Udo Ernst, J. Michael Herrmann
169
Voted
JIFS
2002
60views more  JIFS 2002»
15 years 6 months ago
Turing's analysis of computation and artificial neural networks
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...
Wilson Rosa de Oliveira, Marcílio Carlos Pe...
GI
2009
Springer
15 years 4 months ago
An Improved Method for creating Shared Belief in Communication Constrained Sensor Networks
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
Eelke van Foeken, Peter Hiemstra, Leon Kester