3446 search results - page 540 / 690 » A Reasoning Algorithm for pD* |
139
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
A hybrid fingerprint identification system is presented in this paper. The system consists of several steps: fingerprint enhancement, minutiae extraction, texture feature extracti...
145
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
125
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
134
click to vote
IMC
2003
ACM
15 years 9 months ago
2003
ACM
Internet coordinate schemes have been proposed as a method for estimating minimum round trip time between hosts without direct measurement. In such a scheme, each host is assigned...
244
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...