1411 search results - page 102 / 283 » Interactive Coding for Interactive Proofs |
FUIN
2006
14 years 10 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
89
Voted
KI
2010
Springer
14 years 8 months ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
SIAMMA
2010
14 years 5 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
WIESS
2000
14 years 11 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
66
Voted
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We propose a system to use QR codes and cheap cell phones to alleviate some challenges faced by the chronically homeless. We propose combining the affordability, simplicity and po...