1302 search results - page 116 / 261 » Soundness in the Public-Key Model |
157
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
161
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
173
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
This paper deals with the problem of segmenting a video shot into a background (still) mosaic and one or more foreground moving objects. The method is based on ego-motion compensa...
158
click to vote
ICST
2008
IEEE
16 years 28 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
145
click to vote
ICASSP
2007
IEEE
16 years 25 days ago
2007
IEEE
In rendering a virtual sound over two loudspeakers, adaptive inverse filtering is required for crosstalk cancellation. Although various adaptive algorithms have been proposed for...