89463 search results - page 35 / 17893 » From |
AMI
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe the use of collaborative filtering to make predictions about place using data from custom instant messaging status. Previous research has shown accurate ...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
MSS
1999
IEEE
14 years 27 days ago
1999
IEEE
File life-times longer than the life-time of HSMsystems make it necessary to move files from one HSM-system to another. Such a migration takes a long time and cannot be hidden fro...
SOFSEM
1998
Springer
14 years 25 days ago
1998
Springer
Abstract. The problem of reconstructing a discrete set from its horizontal and vertical projections (RSP) is of primary importance in many different problems for example pattern re...
EUROCRYPT
2006
Springer
14 years 9 days ago
2006
Springer
The Feistel-network is a popular structure underlying many block-ciphers where the cipher is constructed from many simpler rounds, each defined by some function which is derived fr...