10435 search results - page 1885 / 2087 » Measuring system normality |
167
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
The 3D shape of the human body is useful for applications in fitness, games and apparel. Accurate body scanners, however, are expensive, limiting the availability of 3D body mode...
136
click to vote
AAAI
2011
14 years 4 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
151
click to vote
ASUNAM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
172
click to vote
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
168
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...