5387 search results - page 866 / 1078 » Generating generic functions |
199
click to vote
CSL
2005
Springer
16 years 3 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
171
click to vote
FSE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
170
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
144
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
170
click to vote
ICAPR
2005
Springer
16 years 2 days ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...