1511 search results - page 230 / 303 » Relational Parametricity for Computational Effects |
164
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
132
click to vote
DSOM
2003
Springer
15 years 10 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
134
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
140
click to vote
COCO
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
118
click to vote
MDM
2001
Springer
15 years 9 months ago
2001
Springer
Broadcast scheduling algorithms have received a lot of attention recently, since they are important for supporting mobile/ubiquitous computing. However, a comprehensive system'...