716 search results - page 130 / 144 » time 1997 |
TCC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
SIGUCCS
2000
ACM
14 years 3 months ago
2000
ACM
Information and Access Technology Services at the University of Missouri-Columbia has long struggled with its physical location on the edge of campus. In my 20+ years of experienc...
ROBOCUP
1999
Springer
14 years 3 months ago
1999
Springer
The underlying research topics and the architecture of the UBU team are briefly described. The aim of developing UBU is to subject a series of tools and procedures for agent decis...
ELPUB
1998
ACM
14 years 3 months ago
1998
ACM
The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...