Sciweavers

5639 search results - page 244 / 1128
» Timed Abstract Non-interference
Sort
View
ICASSP
2011
IEEE
14 years 7 months ago
Optimal transmission strategies for channel capture mitigation in Cognitive Radio Networks
Abstract—Temporal Dynamic Spectrum Access (DSA) in Cognitive Radio Networks exploits time gaps between the primary users transmissions. In this work, the fundamental performance ...
Yingxi Liu, Nikhil Kundargi, Ahmed H. Tewfik
WIOPT
2011
IEEE
14 years 7 months ago
Performance evaluation of resource allocation policies for energy harvesting devices
Abstract—We focus on resource allocation for energy harvesting devices. We analytically and numerically evaluate the performance of algorithms that determine time fair energy all...
Maria Gorlatova, Andrey Bernstein, Gil Zussman
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
14 years 6 months ago
Cooperative mission planning for a class of carrier-vehicle systems
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
Emanuele Garone, Roberto Naldi, Alessandro Casavol...
AMW
2011
14 years 6 months ago
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
Mingmin Chen, Todd J. Green
FGR
2011
IEEE
271views Biometrics» more  FGR 2011»
14 years 6 months ago
Robust 3D hand tracking for human computer interaction
Abstract— We propose a system for human computer interaction via 3D hand movements, based on a combination of visual tracking and a cheap, off-the-shelf, accelerometer. We use a ...
Victor Adrian Prisacariu, Ian Reid