3680 search results - page 233 / 736 » cases 2010 |
187
click to vote
EUROCRYPT
2010
Springer
16 years 1 days ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
181
click to vote
FUN
2010
Springer
16 years 1 days ago
2010
Springer
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
180
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
184
click to vote
COMGEO
2010
ACM
15 years 7 months ago
2010
ACM
Using a technique that Tverberg and Vrecica [TV93] discovered to give a surprisingly simple proof of Tverberg's theorem, we show the following extension of the centerpoint th...
186
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, the well-known SIFT detector is extended with a bivariate feature localization. This is done by using function models that assume a Gaussian feature shape for the de...