13383 search results - page 2637 / 2677 » Abstractions from proofs |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...
ICS
2010
Tsinghua U.
13 years 6 months ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper presents the first analytical study of optimal investment and pricing decisions of a cognitive mobile virtual network operator (C-MVNO) under spectrum supply...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper studies the problem of utility maximization for clients with delay based QoS requirements in wireless networks. We adopt a model used in a previous work that ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Wireless sensor networks (WSNs) are typically composed of low-cost sensors that are deeply integrated with physical environments. As a result, the sensing performance of...