1358 search results - page 43 / 272 » Proceedings |
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
DAGM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract: In this paper we introduce a novel method for automatic propagation of foreground objects in image sequences. Our method is based on a combination of the mean-shift opera...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
PET
2005
Springer
14 years 3 months ago
2005
Springer
We review threat models used in the evaluation of anonymity systems’ vulnerability to traffic analysis. We then suggest that, under the partial adversary model, if multiple packe...
SDMW
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present our authorization framework that supports the dynamic set-up of Web service federations for sharing data within virtual federations. Building on previous w...