111 search results - page 3 / 23 » Reducing mechanism design to algorithm design via machine le... |
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
Energy consumption is a major and costly problem in data centers. A large fraction of this energy goes to powering idle machines that are not doing any useful work. We identify tw...
FOSSACS
2008
Springer
13 years 7 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Helping computer users rapidly locate files in their folder hierarchies has become an important research topic in today’s intelligent user interface design. This paper reports o...
IUI
2000
ACM
13 years 10 months ago
2000
ACM
We describe a user interface for wireless information devices, specifically designed to facilitate learning about users’ individual interests in daily news stories. User feedbac...
JMLR
2006
13 years 5 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...