1246 search results - page 73 / 250 » Recursive Timed Automata |
172
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
151
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
165
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a methodology to develop recursive filters in reproducing kernel Hilbert spaces (RKHS). Unlike previous approaches that exploit the kernel trick on filtered ...
168
click to vote
JUCS
2007
15 years 6 months ago
2007
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
187
click to vote
ACPC
1999
Springer
15 years 10 months ago
1999
Springer
Multi-resolution methods are widely used in scientific visualization, image processing, and computer graphics. While many applications only require an one-time construction of the...