13383 search results - page 329 / 2677 » Abstractions from proofs |
199
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The concept of cyclical influence between individuals and society is widely accepted, but hard to understand in all details. This paper proposes the use of three processes of socia...
166
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...
145
click to vote
DBSEC
2010
15 years 8 months ago
2010
Abstract. In considering a problem in access control for scalable multimedia formats, we have developed new methods for constructing a key assignment scheme. Our first contribution...
168
click to vote
IMAMS
2007
15 years 8 months ago
2007
Abstract. In this work we focus on approximations of continuous harmonic functions by discrete harmonic functions based on the discrete Laplacian in a triangulation of a point set....
149
click to vote
IPCV
2007
15 years 8 months ago
2007
Abstract In the analysis of any unconstrained document image it is necessary to first decide what the main area of interest is. Previous work has been done on simply removing the ...