2338 search results - page 388 / 468 » Community computing and the computing community |
75
Voted
DLOG
2009
14 years 8 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
105
click to vote
WWW
2011
ACM
14 years 5 months ago
2011
ACM
The clustering coefficient of a node in a social network is a fundamental measure that quantifies how tightly-knit the community is around the node. Its computation can be reduce...
144
click to vote
ISCA
2011
IEEE
14 years 1 months ago
2011
IEEE
Since 2005, processor designers have increased core counts to exploit Moore’s Law scaling, rather than focusing on single-core performance. The failure of Dennard scaling, to wh...
96
Voted
CHI
2011
ACM
14 years 1 months ago
2011
ACM
We present HeatWave, a system that uses digital thermal imaging cameras to detect, track, and support user interaction on arbitrary surfaces. Thermal sensing has had limited exami...
111
click to vote
DAGSTUHL
2011
13 years 10 months ago
2011
By measuring the anisotropic self-diffusion rates of water, Diffusion Weighted Magnetic Resonance Imaging (DW-MRI) provides a unique noninvasive probe of fibrous tissue. In par...