1631 search results - page 131 / 327 » Observing Functional Logic Computations |
107
click to vote
SIBGRAPI
2007
IEEE
15 years 10 months ago
2007
IEEE
Optical microscopic images, especially with a nonconfocal microscope, are fundamentally limited because the optical transfer function (the Fourier transform of the point-spread fu...
146
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
131
click to vote
IANDC
2006
15 years 3 months ago
2006
This paper studies the complexity of learning classes of expressions in propositional logic from equivalence queries and membership queries. In particular, we focus on bounding th...
124
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
142
click to vote
COLT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...