4270 search results - page 480 / 854 » A Permutation Approach to Validation |
187
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
168
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
186
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Accelerated by the technological advances in the domain, the size of the biomedical literature has been growing rapidly. As a result, it is not feasible for individual researchers...
171
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Legal regulations and industry standards require organizations to measure and maintain a specified IT-security level. Although several IT-security metrics approaches have been de...
198
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...