6153 search results - page 974 / 1231 » Modeling Cyclic Change |
183
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
170
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
158
click to vote
WADS
2007
Springer
16 years 21 days ago
2007
Springer
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...
163
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
151
click to vote
AICT
2006
IEEE
16 years 20 days ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...