214 search results - page 4 / 43 » An Experimental Evaluation on Reliability Features of N-Vers... |
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
Low-level image processing algorithms generally provide noisy features that are far from being Gaussian. Medium-level tasks such as object detection must therefore be robust to out...
PLDI
2006
ACM
14 years 7 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
ICCV
2011
IEEE
12 years 6 months ago
2011
IEEE
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...
ICWS
2009
IEEE
14 years 3 months ago
2009
IEEE
—One of the critical challenges for service oriented computing systems is the capability to guarantee scalable and reliable service provision. This paper presents Reliable GeoGri...
MICRO
2008
IEEE
14 years 20 days ago
2008
IEEE
— As semiconductor processing techniques continue to scale down, transient faults, also known as soft errors, are increasingly becoming a reliability threat to high-performance m...