6770 search results - page 508 / 1354 » How GPUs Work |
172
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
145
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
158
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
A series of recent papers have demonstrated collision attacks on popularly used hash functions, including the widely deployed MD5 and SHA-1 algorithm. To assess this threat, the na...
148
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
185
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Studies in computer supported collaborative learning frequently under-expose the interaction between students and technology. To gain more insight in the way student groups interac...