1087 search results - page 78 / 218 » Achieving Distributed Control through Model Checking |
131
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
We propose a novel 1 2-norm inverse solver for estimating the sources of EEG/MEG signals. Based on the standard 1-norm inverse solver, the proposed sparse distributed inverse solve...
160
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
148
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we propose a novel duty cycling algorithm for large-scale dense wireless sensor networks. The proposed algorithm is based on a social behavior of nodes in the se...
166
click to vote
ISCC
2007
IEEE
15 years 11 months ago
2007
IEEE
: This paper presents the Distributed Transport for Sensor Networks (DTSN), a novel reliable transport protocol for convergecast and unicast communications in Wireless Sensor Netwo...
148
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...