2268 search results - page 421 / 454 » Modeling wireless shadow networks |
122
click to vote
AROBOTS
2004
15 years 1 months ago
2004
The control of robot swarming in a distributed manner is a difficult problem because global behaviors must emerge as a result of many local actions. This paper uses a bio-inspired ...
132
click to vote
BROADNETS
2004
IEEE
15 years 5 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
128
click to vote
TKDE
2008
15 years 1 months ago
2008
With the availability of affordable sensors and sensor networks, sensor-based human-activity recognition has attracted much attention in artificial intelligence and ubiquitous comp...
138
Voted
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
PERCOM
2009
ACM
16 years 2 months ago
2009
ACM
The iLamp1 system is a sensor-enhanced desk lamp with surface-tracking capability based on received light intensity. It consists of two components: lamp and bookmark. The bookmark ...