13383 search results - page 362 / 2677 » Abstractions from proofs |
285
click to vote
ICEEE
2010
15 years 1 months ago
2010
Abstract--Endoscopy is a standard imaging modality commonly used in different medical fields like lesion diagnosis in hollow organs or mini-invasive surgery. Meanwhile, endoscopic ...
195
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
237
Voted
CTRSA
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Online ciphers are deterministic length-preserving permutations EK : ({0, 1}n )+ → ({0, 1}n )+ where the i-th block of ciphertext depends only on the first i blocks of...
191
click to vote
JIKM
2011
14 years 9 months ago
2011
Abstract. This paper presents a novel approach for extracting personal data and automatically generating Personal Data Reports (PDRs) from relational databases. Such PDRs can be us...
187
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...