10909 search results - page 539 / 2182 » Evaluating Backup Algorithms |
141
click to vote
DLOG
2006
15 years 8 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
158
click to vote
ANLP
2000
15 years 8 months ago
2000
Since 1995, a few statistical parsing algorithms have demonstrated a breakthrough in parsing accuracy, as measured against the UPenn TREEBANK as a gold standard. In this paper we ...
151
click to vote
ACL
1996
15 years 8 months ago
1996
We propose an Mgorithm to resolve anaphors, tackling mainly the problem of intrasentential antecedents. We base our methodology on the fact that such antecedents are likely to occ...
126
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. ...
196
click to vote
PAMI
2008
15 years 7 months ago
2008
This paper presents an efficient algorithm for iris recognition using phase-based image matching--an image matching technique using phase components in 2D Discrete Fourier Transfor...