2517 search results - page 52 / 504 » Specifying Weak Sets |
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
107
click to vote
SCALESPACE
2005
Springer
15 years 5 months ago
2005
Springer
Level-Set methods have been successfully applied to 2D and 3D boundary detection problems. The geodesic active contour model has been particularly successful. Several algorithms fo...
100
click to vote
CADE
2006
Springer
16 years 4 days ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
111
click to vote
HIPEAC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...
108
click to vote
ICML
2010
IEEE
15 years 27 days ago
2010
IEEE
Many applications require optimizing an unknown, noisy function that is expensive to evaluate. We formalize this task as a multiarmed bandit problem, where the payoff function is ...