4850 search results - page 173 / 970 » Proof and Computation in Geometry |
163
click to vote
COCO
1991
Springer
15 years 10 months ago
1991
Springer
Abstract Rafail Ostrovskyy MIT Laboratory for Computer Science 545 Technology Square, Cambridge, MA 02139 In this paper, we study connections among one-way functions, hard on the ...
161
click to vote
IPL
2000
15 years 6 months ago
2000
We give a short and simple proof of Hales and Hallgren's Fourier Sampling Theorem ["Quantum Fourier Sampling Simplified", Proceedings of the Thirty-First Annual ACM...
131
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
145
click to vote
AINA
2005
IEEE
16 years 4 days ago
2005
IEEE
An RFID tag is a small and cheap device which is combined in IC chip and an antenna for radio communications. The tag is used for management of goods and its distribution. Moreove...
170
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...