3007 search results - page 59 / 602 » Linear Functional Fixed-points |
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Target shape matching can be used as a quick and easy surrogate task when evaluating optimization algorithms intended for computationally expensive tasks, such as turbine blade ...
135
click to vote
ACNS
2011
Springer
14 years 3 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...
104
click to vote
JMIV
1998
14 years 11 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 1 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 ...
101
click to vote
TACAS
2010
Springer
15 years 6 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 ...