2356 search results - page 29 / 472 » Characterizations of postman sets |
132
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
136
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
125
click to vote
DCC
2008
IEEE
15 years 3 months ago
2008
IEEE
This work is inspired by a paper of Hertel and Pott on maximum non-linear functions [8]. Geometrically, these functions correspond with quasi-quadrics; objects introduced in [5]. ...
110
click to vote
CVPR
1998
IEEE
16 years 5 months ago
1998
IEEE
Temporal segmentation of video is a necessary rst step to indexing digital video for browsing and retrieval. A number of di erent video temporal segmentation algorithms have been ...
108
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates a novel computational approach to thyroid tissue characterization in ultrasound images. It is based on the hypothesis that tissues in thyroid ultrasound im...