12264 search results - page 92 / 2453 » An Analysis of the XSL Algorithm |
114
Voted
CSB
2002
IEEE
15 years 9 months ago
2002
IEEE
138
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
161
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the difficulties of Content-Based Image Retrieval (CBIR) is the gap between high-level concepts and low-level image features, e.g., color and texture. Relevance feedback wa...