972 search results - page 182 / 195 » Intersection types and computational effects |
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
Reducing the energy footprint of data centers continues to receive significant attention due to both its financial and environmental impact. There are numerous methods that limi...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Advertising plays a vital role in supporting free websites and smartphone apps. Click-spam, i.e., fraudulent or invalid clicks on online ads where the user has no actual interest ...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
—Dimensionality reduction is essential in text mining since the dimensionality of text documents could easily reach several tens of thousands. Most recent efforts on dimensionali...
TOG
2012
11 years 10 months ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
ImageNet is a large-scale database of object classes with millions of images. Unfortunately only a small fraction of them is manually annotated with bounding-boxes. This prevents ...