Sciweavers

8370 search results - page 375 / 1674
» Challenges in P2P Computing
Sort
View
AICI
2010
15 years 5 months ago
A Cell-Phone Based Brain-Computer Interface for Communication in Daily Life
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...
Yu-Te Wang, Yijun Wang, Tzyy-Ping Jung
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 5 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
SECON
2010
IEEE
15 years 4 months ago
Cloudy Computing: Leveraging Weather Forecasts in Energy Harvesting Sensor Systems
To sustain perpetual operation, systems that harvest environmental energy must carefully regulate their usage to satisfy their demand. Regulating energy usage is challenging if a s...
Navin Sharma, Jeremy Gummeson, David Irwin, Prasha...
CROSSROADS
2010
15 years 1 months ago
Massive multiplayer human computation for fun, money, and survival
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
Lukas Biewald
CAV
2009
Springer
104views Hardware» more  CAV 2009»
16 years 7 months ago
SPEED: Symbolic Complexity Bound Analysis
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
Sumit Gulwani