520 search results - page 37 / 104 » Implementing a Generalized Version of Resolution |
FOCS
2008
IEEE
15 years 4 months ago
2008
IEEE
A merger is a probabilistic procedure which extracts the randomness out of any (arbitrarily correlated) set of random variables, as long as one of them is uniform. Our main result...
108
click to vote
FOCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Combinatorial allocation problems require allocating items to players in a way that maximizes the total utility. Two such problems received attention recently, and were addressed ...
IIS
2001
14 years 11 months ago
2001
: Research on a new system implementing the AQ learning methodology, called AQ20, is briefly described, and illustrated by initial results from an experimental version. Like its pr...
112
click to vote
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...