3228 search results - page 207 / 646 » Computationally Sound Proofs |
171
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
147
click to vote
CIE
2005
Springer
16 years 3 days ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
199
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
185
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
158
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...