713 search results - page 66 / 143 » Toward a More Reliable Theory of Software Reliability |
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
—Face recognition performance depends upon the input variability as encountered during biometric data capture including occlusion and disguise. The challenge met in this paper is...
ICSE
2011
IEEE-ACM
13 years 5 days ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...