171 search results - page 15 / 35 » tim 2010 |
AAAI
2010
13 years 11 months ago
2010
As users of social networking websites expand their network of friends, they are often flooded with newsfeed posts and status updates, most of which they consider to be understand...
DATE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Starting from sequential programs, we present an approach combining data reuse, multi-level MapReduce, and pipelining to automatically find the most power-efficient designs th...
FOCS
2010
IEEE
13 years 7 months ago
2010
IEEE
We give the first black-box reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a non-trivial class of multiparameter problems. Specifically,...
ISVC
2010
Springer
13 years 8 months ago
2010
Springer
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...