16430 search results - page 643 / 3286 » On Computable Tree Functions |
196
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
168
click to vote
PAMI
2006
15 years 7 months ago
2006
In this paper, new wavelet-based affine invariant functions for shape representation are presented. Unlike the previous representation functions, only the approximation coefficient...
178
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
164
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Two-variable numerical functions are widely used in various applications, such as computer graphics and digital signal processing. Fast and compact hardware implementations are re...
177
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
The design of hash functions by means of evolutionary computation is a relatively new and unexplored problem. In this work, we use Genetic Programming (GP) to evolve robust and fa...