12841 search results - page 14 / 2569 » PL-detective: experiences and results |
DSN
2004
IEEE
15 years 2 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper proposes exploiting both explicit and mined metadata for enriching Web searching with exploration services. On-line results clustering is useful for providing ...
ETS
2007
IEEE
15 years 4 months ago
2007
IEEE
— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...
FGR
2006
IEEE
15 years 4 months ago
2006
IEEE
The goal of the Face Recognition Grand Challenge (FRGC) is to improve the performance of face recognition algorithms by an order of magnitude over the best results in Face Recogni...
ECIR
2008
Springer
14 years 12 months ago
2008
Springer
We present the results of experiments using terms from citations for scientific literature search. To index a given document, we use terms used by citing documents to describe that...