3814 search results - page 333 / 763 » Extensible Information Brokers |
227
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
173
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
146
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
215
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
171
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...