3228 search results - page 127 / 646 » Computationally Sound Proofs |
IPL
2000
13 years 10 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...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
This paper describes an investigation of using interactive sonification (non-speech sound) to present geo-referenced statistical data to vision-impaired users for problem solving ...
INTETAIN
2009
Springer
14 years 4 months ago
2009
Springer
This paper reports the design, implementation, and application of a new interface for augmenting performance and play on the low flying trapeze. Sensors were used to gauge the moti...
CORR
2010
Springer
13 years 7 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...
AINA
2005
IEEE
14 years 3 months 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...