3670 search results - page 119 / 734 » Linear Recursive Functions |
256
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
193
click to vote
ACNS
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Recent developments in the field of cryptanalysis of hash functions has inspired NIST to announce a competition for selecting a new cryptographic hash function to join t...
152
click to vote
JMIV
1998
15 years 4 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
WSCG
2004
15 years 6 months ago
2004
The purpose of this paper is twofold: to propose two fast distribution functions for spotlights and to use terminology used in stage lighting to model these luminaries. In OpenGL ...
149
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...