400 search results - page 46 / 80 » Moving Proofs-As-Programs into Practice |
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
IACR
2011
12 years 8 months ago
2011
Oblivious RAM (O-RAM) is a useful primitive that allows a client to hide its data access patterns from an untrusted server in storage outsourcing applications. This paper proposes...
ICDCS
2012
IEEE
11 years 11 months ago
2012
IEEE
Datacenter networks typically have many paths connecting each host pair to achieve high bisection bandwidth for arbitrary communication patterns. Fully utilizing the bisection ban...
NSDI
2004
13 years 10 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
IJCSS
2006
13 years 8 months ago
2006
In this paper, minimum jerk movement on the constrained sphere was studied by using both theoretical analysis and experimental investigation. Based on the constraint optimal princ...