3 search results - page 1 / 1 » The gentle art of levitation |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—In state of the art systems, workload scheduling and server fan speed operate independently leading to cooling inefficiencies. In this work we propose GentleCool, a proactive m...
ISVC
2007
Springer
13 years 11 months ago
2007
Springer
We present a novel boosting algorithm where temporal consistency is addressed in a short-term way. Although temporal correlation of observed data may be an important cue for classi...