598 search results - page 34 / 120 » Independence Semantics for BKBs |
103
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Large scale image search has recently attracted considerable attention due to easy availability of huge amounts of data. Several hashing methods have been proposed to allow approx...
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
109
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
The contextual relationships among different semantic concepts provide important information for automatic concept detection in images/videos. We propose a new context-based conce...
112
click to vote
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
104
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...