2607 search results - page 22 / 522 » Complete Functional Synthesis |
126
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
121
click to vote
AAIP
2009
15 years 8 days ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
107
click to vote
COLT
2001
Springer
15 years 7 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
108
click to vote
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Designing a cost effective superscalar architecture for x86 compatible microprocessors is a challenging task in terms of both technical difficulty and commercial value. One of the...
141
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...