382 search results - page 48 / 77 » Reasoning about the Elementary Functions of Complex Analysis |
IBPRIA
2005
Springer
15 years 5 months ago
2005
Springer
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...
101
click to vote
SACRYPT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper describes a timing attack on the RC5 block encryption algorithm. The analysis is motivated by the possibility that some implementations of RC5 could result in ...
AAAI
1994
15 years 1 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
100
click to vote
EUROPAR
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
126
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...