8828 search results - page 90 / 1766 » Formal methods in practice |
124
click to vote
WEA
2005
Springer
15 years 9 months ago
2005
Springer
We propose a novel algorithm based on random graphs to construct minimal perfect hash functions h. For a set of n keys, our algorithm outputs h in expected time O(n). The evaluatio...
154
click to vote
ACSC
2003
IEEE
15 years 9 months ago
2003
IEEE
Today distributed denial of service (DDoS) attacks are causing major problems to conduct online business over the Internet. Recently several schemes have been proposed on how to p...
112
click to vote
CW
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present a novel fast algorithmfor image retouching. A space-mapping technique is used to transform a missing (or damaged) part of a surface into a different shap...
78
Voted
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
