Sciweavers

274 search results - page 3 / 55
» A Functional Language for Logarithmic Space
Sort
View
NIPS
1994
13 years 7 months ago
The Electrotonic Transformation: a Tool for Relating Neuronal Form to Function
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...
Nicholas T. Carnevale, Kenneth Y. Tsai, Brenda J. ...
ADCM
2011
13 years 1 months ago
The missing Wendland functions
Abstract: The Wendland radial basis functions [8, 9] are piecewise polynomial compactly supported reproducing kernels in Hilbert spaces which are norm–equivalent to Sobolev space...
Robert Schaback
MFCS
2004
Springer
13 years 11 months ago
Sublogarithmic Ambiguity
Abstract. So far the least growth rate known for a divergent inherent ambiguity function was logarithmic. This paper shows that for each computable divergent total non-decreasing f...
Klaus Wich
POPL
2012
ACM
12 years 1 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
IFL
1999
Springer
108views Formal Methods» more  IFL 1999»
13 years 10 months ago
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
John H. G. van Groningen