1411 search results - page 174 / 283 » Interactive Coding for Interactive Proofs |
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper deals with the platooning problem that can be defined as the automatic following of a manned driven vehicle by a convoy of automatic ones. Different approaches have...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
100
click to vote
SAMOS
2009
Springer
15 years 4 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
UIST
2009
ACM
15 years 4 months ago
2009
ACM
We present Abracadabra, a magnetically driven input technique that offers users wireless, unpowered, high fidelity finger input for mobile devices with very small screens. By exte...