Sciweavers

280 search results - page 48 / 56
» see 2010
Sort
View
MOBISYS
2010
ACM
14 years 7 days ago
On the limits of effective hybrid micro-energy harvesting on mobile CRFID sensors
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...
Jeremy Gummeson, Shane S. Clark, Kevin Fu, Deepak ...
APPROX
2010
Springer
154views Algorithms» more  APPROX 2010»
13 years 11 months ago
The Checkpoint Problem
In this paper, we consider the checkpoint problem in which given an undirected graph G, a set of sourcedestinations {(s1, t1), (s1, t1), . . . , (sk, tk)} and a set of fixed paths...
MohammadTaghi Hajiaghayi, Rohit Khandekar, Guy Kor...
ATAL
2010
Springer
13 years 11 months ago
Alternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
Nicolas Troquard, Dirk Walther
MM
2010
ACM
126views Multimedia» more  MM 2010»
13 years 10 months ago
Gaze awareness and interaction support in presentations
: Gaze Awareness and Interaction Support in Presentations Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-187 D...
Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian N. Robi...
MM
2010
ACM
207views Multimedia» more  MM 2010»
13 years 10 months ago
TalkMiner: a search engine for online lecture video
TalkMiner is a search engine for lecture webcasts. Lecture videos are processed to recover a set of distinct slide images and OCR is used to generate a list of indexable terms fro...
John Adcock, Matthew Cooper, Laurent Denoue, Hamed...