Sciweavers

12015 search results - page 97 / 2403
» Interactive Algorithms 2005
Sort
View
ISAAC
1994
Springer
83views Algorithms» more  ISAAC 1994»
15 years 2 months ago
On Helping and Interactive Proof Systems
Vikraman Arvind, Johannes Köbler, Rainer Schu...
COCO
2008
Springer
86views Algorithms» more  COCO 2008»
15 years 3 days ago
Using Entanglement in Quantum Multi-prover Interactive Proofs
Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, ...
ATAL
2005
Springer
15 years 3 months ago
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
Nathan Schurr, Janusz Marecki, N. Kasinadhuni, Mil...