Sciweavers

12015 search results - page 97 / 2403
» Interactive Algorithms 2005
Sort
View
ISAAC
1994
Springer
83views Algorithms» more  ISAAC 1994»
14 years 27 days ago
On Helping and Interactive Proof Systems
Vikraman Arvind, Johannes Köbler, Rainer Schu...
COCO
2008
Springer
86views Algorithms» more  COCO 2008»
13 years 10 months ago
Using Entanglement in Quantum Multi-prover Interactive Proofs
Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, ...
ATAL
2005
Springer
14 years 2 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...