403 search results - page 79 / 81 » Contracts for higher-order functions |
FOCS
2000
IEEE
14 years 2 months ago
2000
IEEE
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
SP
2000
IEEE
14 years 2 months ago
2000
IEEE
It is desirable to store data on data storage servers such as mail servers and file servers in encrypted form to reduce security and privacy risks. But this usually implies that ...
SSIAI
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
SIGOPSE
1998
ACM
14 years 2 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...