1914 search results - page 102 / 383 » Abstract lambda-Calculus Machines |
103
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of untrusted Internet services on shared hardware. Denali...
126
click to vote
MICCAI
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. We propose a highly automated approach to the point correspondence problem for anatomical shapes in medical images. Manual landmarking is performed on a small subset of t...
102
click to vote
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
96
Voted
ALT
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We give a lower bound for the error of any unitarily invariant algorithm learning half-spaces against the uniform or related distributions on the unit sphere. The bound i...
103
click to vote
ALT
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We consider an upper confidence bound algorithm for Markov decision processes (MDPs) with deterministic transitions. For this algorithm we derive upper bounds on the onl...