A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
Carsten Lund, Lance Fortnow, Howard J. Karloff, No...
We have developed a small, handheld or wearable, wireless motion sensor that sends out a short RF pulse whenever it is jerked. The hardware is minimal, as it mainly includes only ...
One challenge in wearable computing is the design of proper user interfaces and interaction concepts for applications. This paper discusses the design of hands-free wearable user i...
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...