19174 search results - page 3698 / 3835 » Computer Animation Techniques |
142
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
124
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
148
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Large archives of Ottoman documents are challenging to many historians all over the world. However, these archives remain inaccessible since manual transcription of such a huge vo...
138
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Among the vast numbers of images on the web are many duplicates and near-duplicates, that is, variants derived from the same original image. Such near-duplicates appear in many we...
147
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Bag-of-features (BoF) deriving from local keypoints has recently appeared promising for object and scene classification. Whether BoF can naturally survive the challenges such as ...