8636 search results - page 1172 / 1728 » How Developers Copy |
179
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, we seek to contribute to the Ubiquitous Computing agenda by focusing on one of its earliest, but most difficult, design ambitions ? making technology "invisibl...
185
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
An appropriately designed interface to persistent, threaded conversations could reinforce socially beneficial behavior by prominently featuring how frequently and to what degree e...
155
click to vote
RECOMB
2001
Springer
16 years 7 months ago
2001
Springer
We address possible limitations of publicly available data sets of yeast gene expression. We study the predictability of known regulators via time-series analysis, and show that l...
173
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
197
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We present Quanto, a network-wide time and energy profiler for embedded network devices. By combining well-defined interfaces for hardware power states, fast high-resolution energ...