3228 search results - page 235 / 646 » Computationally Sound Proofs |
144
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
The aim of this paper is to show that machine learning techniques can be used to derive a classifying function for human brain signal data measured by magnetoencephalography (MEG)...
200
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
RFID systems as a whole are often treated with suspicion, but the input data received from individual RFID tags is implicitly trusted. RFID attacks are currently conceived as prop...
168
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Collusion-free protocols prevent subliminal communication (i.e., covert channels) between parties running the protocol. In the standard communication model, if one-way functions ex...
177
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
— Neuronal morphology plays a crucial role in the information processing capabilities of neurons. Despite the importance of morphology for neural functionality, biological data i...
167
click to vote
COMPGEOM
1999
ACM
15 years 11 months ago
1999
ACM
We show a remarkable fact about folding paper: From a single rectangular sheet of paper, one can fold it into a flat origami that takes the (scaled) shape of any connected polygo...